Search Results for author: Howard S. Cohl

Found 3 papers, 2 papers with code

Discovery and Recognition of Formula Concepts using Machine Learning

1 code implementation3 Mar 2023 Philipp Scharpf, Moritz Schubotz, Howard S. Cohl, Corinna Breitinger, Bela Gipp

Our long-term goal is to generalize citation-based IR methods and apply this generalized method to both classical references and mathematical concepts.

Information Retrieval Question Answering +2

Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems

no code implementations17 Sep 2021 Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. ~McClain

Using LaTeX, LaTeXML, and tools generated for use in the National Institute of Standards (NIST) Digital Library of Mathematical Functions, semantically enhanced mathematical LaTeX markup (semantic LaTeX) is achieved by using a semantic macro set.

Math

Discovering Mathematical Objects of Interest -- A Study of Mathematical Notations

1 code implementation7 Feb 2020 Andre Greiner-Petter, Moritz Schubotz, Fabian Mueller, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp

The contributions of our presented research are as follows: (1) we present the first distributional analysis of mathematical formulae on arXiv and zbMATH; (2) we retrieve relevant mathematical objects for given textual search queries (e. g., linking $P_{n}^{(\alpha, \beta)}\!\left(x\right)$ with `Jacobi polynomial'); (3) we extend zbMATH's search engine by providing relevant mathematical formulae; and (4) we exemplify the applicability of the results by presenting auto-completion for math inputs as the first contribution to math recommendation systems.

Information Retrieval Math +2

Cannot find the paper you are looking for? You can Submit a new open access paper.