Search Results for author:
Found 2 papers, 1 papers with code
Mathematical Knowledge Representation: Semantic Models and Formalisms
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management.
$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
