Search Results for author:
Found 4 papers, 1 papers with code
Parmesan: mathematical concept extraction for education
However, mathematics is used in a wide variety of fields and multidisciplinary research in many different domains often relies on an understanding of mathematical concepts.
Extracting Mathematical Concepts from Text
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematical knowledge graph.
Finite State Reasoning for Presupposition Satisfaction
I propose that this can be accounted for with a form of possible world semantics that encapsulates some reasoning abilities, but is limited in its computational power, thus circumventing the need to solve computationally difficult problems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
