The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
IBM Systems Journal
Methods of Relevance Ranking and Hit-content Generation in Math Search
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
A Review of Mathematical Knowledge Management
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
A new mathematics retrieval system
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Towards meaningful mathematical expressions in e-learning
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Roles of math search in mathematics
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Retrieving documents with mathematical content
Proceedings of the 36th international ACM SIGIR conference on Research and development in information retrieval
Structural similarity search for mathematics retrieval
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |
Our aim is in the spirit of the Semantic Web: to generate an on-line database of machine-understandable mathematical documents, re-using the same methodology and standard technologies, as RDF, mostly based on the exploitation of metadata to improve smart searching and retrieving. In this paper we describe the syntax and semantics of a query language which gives access to a search engine capable of retrieving resources on the basis of meta-information: the role of meta-data consists in filtering the relevant data.