MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Agent technology for personalized information filtering: the PIA-system
Proceedings of the 2005 ACM symposium on Applied computing
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
XML-izing mizar: making semantic processing and presentation of MML easy
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Hi-index | 0.00 |
Particularly with regard to the widespread use of the internet, the increasing amount of scientific publications creates new requirements for sophisticated information retrieval systems. The discovery of semantic annotation for describing mathematical texts themselves and the structure of the observed mathematical field is an important issue supporting such information retrieval systems. A lot of good statistical approaches for finding correlations in texts exist e.g. as used by Google. mArachna follows a different approach and uses natural language processing techniques to recover all the fine-grained information snippets within mathematical texts. The extracted information is stored in knowledge bases, creating a low-level ontology of mathematics. In this article we represent our further developments in this field and the technical implementation of the mArachna prototype.