Information Retrieval and Rendering with MML Query

DOI10.1007/11812289_21zbMATH Open1188.68125OpenAlexW25797694MaRDI QIDQ5756776FDOQ5756776

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

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

Mathematics Subject Classification ID

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

Cited In (16)

• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• A new export of the Mizar mathematical library
• 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
• Title not available (Why is that?)
• 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

Uses Software

• MizarMode
• MoMM
• Mizar
• MML

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)