Howard S. Cohl

35 papers A* 3C 6Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Erratum: Product Formulas and Nicholson-Type Integrals for Jacobi Functions.
SIAM J. Math. Anal.
Howard S. Cohl, Loyal Durand
2023 J jnl
Discovery and Recognition of Formula Concepts using Machine Learning.
CoRR
Philipp Scharpf, Moritz Schubotz, Howard S. Cohl, Corinna Breitinger, Bela Gipp
2023 J jnl
Discovery and recognition of formula concepts using machine learning.
Scientometrics
Philipp Scharpf, Moritz Schubotz, Howard S. Cohl, Corinna Breitinger, Bela Gipp
2023 J jnl
Nonterminating transformations and summations associated with some
Adv. Appl. Math.
Howard S. Cohl, Roberto S. Costas-Santos
2022 — conf
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
TACAS (1)
André Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko Aizawa, Bela Gipp
2022 J jnl
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
CoRR
André Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko Aizawa, Bela Gipp
2021 J jnl
Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems.
CoRR
Howard S. Cohl, André Greiner-Petter, Moritz Schubotz
2021 J jnl
MathTools: An Open API for Convenient MathML Handling.
CoRR
André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp
2021 J jnl
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems.
CoRR
Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain
2020 J jnl
Correction: Cohl, H.S.; Costas-Santos, R.S.; Ge, L. Terminating Basic Hypergeometric Representations and Transformations for the Askey-Wilson Polynomials Symmetry 2020, 12, 1290.
Symmetry
Howard S. Cohl, Roberto S. Costas-Santos, Linus Ge
2020 A* conf
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations.
WWW
André Greiner-Petter, Moritz Schubotz, Fabian Müller, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp
2020 J jnl
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations.
CoRR
André Greiner-Petter, Moritz Schubotz, Fabian Müller, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp
2020 J jnl
Multi-Integral Representations for Associated Legendre and Ferrers Functions.
Symmetry
Howard S. Cohl, Roberto S. Costas-Santos
2020 J jnl
Terminating Basic Hypergeometric Representations and Transformations for the Askey-Wilson Polynomials.
Symmetry
Howard S. Cohl, Roberto S. Costas-Santos, Linus Ge
2019 J jnl
Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems.
CoRR
André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp
2019 J jnl
Semantic preserving bijective mappings for expressions involving special functions between computer algebra systems and document preparation systems.
Aslib J. Inf. Manag.
André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp
2019 — conf
Towards Formula Concept Discovery and Recognition.
BIRNDL@SIGIR
Philipp Scharpf, Moritz Schubotz, Howard S. Cohl, Bela Gipp
2018 C conf
Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems.
CICM
Howard S. Cohl, André Greiner-Petter, Moritz Schubotz
2018 — conf
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context.
JCDL
Moritz Schubotz, André Greiner-Petter, Philipp Scharpf, Norman Meuschke, Howard S. Cohl, Bela Gipp
2018 J jnl
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context.
CoRR
Moritz Schubotz, André Greiner-Petter, Philipp Scharpf, Norman Meuschke, Howard S. Cohl, Bela Gipp
2018 C conf
MathTools: An Open API for Convenient MathML Handling.
CICM
André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp
2018 J jnl
Some Generating Functions for
Symmetry
Howard S. Cohl, Roberto S. Costas-Santos, Tanay V. Wakhare
2017 C conf
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems.
CICM
Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain, Joon Bang, Kevin Chen
2017 C conf
VMEXT: A Visualization Tool for Mathematical Expression Trees.
CICM
Moritz Schubotz, Norman Meuschke, Thomas Hepp, Howard S. Cohl, Bela Gipp
2017 J jnl
VMEXT: A Visualization Tool for Mathematical Expression Trees.
CoRR
Moritz Schubotz, Norman Meuschke, Thomas Hepp, Howard S. Cohl, Bela Gipp
2016 — conf
Getting the units right.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Moritz Schubotz, David Veenhuis, Howard S. Cohl
2016 A* conf
Semantification of Identifiers in Mathematics for Better Math Information Retrieval.
SIGIR
Moritz Schubotz, Alexey Grigorev, Marcus Leich, Howard S. Cohl, Norman Meuschke, Bela Gipp, Abdou S. Youssef, Volker Markl
2015 A* conf
Challenges of Mathematical Information Retrievalin the NTCIR-11 Math Wikipedia Task.
SIGIR
Moritz Schubotz, Abdou Youssef, Volker Markl, Howard S. Cohl
2015 J jnl
Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources.
CoRR
Howard S. Cohl, Moritz Schubotz, Marjorie A. McClain, Bonita V. Saunders, Cherry Y. Zou, Azeem S. Mohammed, Alex A. Danoff
2015 C conf
Growing the Digital Repository of Mathematical Formulae with Generic Sources.
CICM
Howard S. Cohl, Moritz Schubotz, Marjorie A. McClain, Bonita V. Saunders, Cherry Y. Zou, Azeem S. Mohammed, Alex A. Danoff
2014 C conf
Digital Repository of Mathematical Formulae.
CICM
Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams
2014 J jnl
Digital Repository of Mathematical Formulae.
CoRR
Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams
2014 — conf
Evaluation of Similarity-Measure Factors for Formulae Based on the NTCIR-11 Math Task.
NTCIR
Moritz Schubotz, Abdou Youssef, Volker Markl, Howard S. Cohl, Jimmy J. Li
2012 J jnl
Table Errata to "Formulas and theorems for the special functions of mathematical physics" by W. Magnus, F. Oberhettinger & R. P. Soni (1966).
Math. Comput.
Howard S. Cohl
1997 — conf
Parallel Implementation of a Data-Transpose Technique for the Solution of Poisson's Equation in Cylindrical Coordinates.
PP
Howard S. Cohl, Xian-He Sun, Joel E. Tohline