Information Retrieval and Rendering with MML Query

DOI10.1007/11812289_21MaRDI QIDQ5756776zbMATH OpenOpenAlexFDO

Authors Grzegorz Bancerek

Publication date 5 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11812289_21

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1951634
• Mathematical knowledge management in MIZAR
• Mathematical Knowledge Management
• The Mizar Mathematical Library in OMDoc: translation and applications
• Tools for MML environment analysis

Cited in

(16)

• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• A new export of the Mizar mathematical library
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• A query language for formal mathematical libraries
• The Mizar Mathematical Library in OMDoc: translation and applications
• Crystal: Integrating structured queries into a tactic language
• The role of the Mizar mathematical library for interactive proof development in Mizar
• scientific article; zbMATH DE number 1951634 (Why is no real title available?)
• Large formal wikis: issues and solutions
• Semantics of MML query -- ordering
• Semantics of MML query
• Mathematical knowledge management in MIZAR
• Integrating searching and authoring in Mizar
• Mizar: state-of-the-art and beyond
• Tools for MML environment analysis

Describes a project that uses

Uses Software

• MML
• Mizar
• MoMM
• MizarMode

This page was built for publication: Information Retrieval and Rendering with MML Query

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756776)