Development of the theory of continuous lattices in Mizar
Symbolic computation and automated reasoning
On Equivalents of Well-Foundedness
Journal of Automated Reasoning
A Compendium of Continuous Lattices in MIZAR
Journal of Automated Reasoning
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
XML-izing mizar: making semantic processing and presentation of MML easy
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Revisions as an Essential Tool to Maintain Mathematical Repositories
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
An Approach to Mathematical Search Through Query Formulation and Data Normalization
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
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
Crystal: Integrating Structured Queries into a Tactic Language
Journal of Automated Reasoning
A new mathematics retrieval system
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Large formal wikis: issues and solutions
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
The Mizar Mathematical Library in OMDoc: Translation and Applications
Journal of Automated Reasoning
Retrieving documents with mathematical content
Proceedings of the 36th international ACM SIGIR conference on Research and development in information retrieval
A qualitative comparison of the suitability of four theorem provers for basic auction theory
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Structural similarity search for mathematics retrieval
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |
Mizar, a proof-checking system, is used to build the Mizar Mathematical Library (MML). MML Query is a semantics-based tool for managing the mathematical knowledge in Mizar including searching, browsing and presentation of the evolving MML content. The tool is becoming widely used as an aid for Mizar authors and plays an essential role in the ongoing reorganization of MML. We present new features of MML Query implemented in the third release and describe the possibilities offered by them.