Mathematical Knowledge Management
From MaRDI portal
Publication:5313077
DOI10.1007/b100478zbMath1108.68583OpenAlexW4234388457MaRDI QIDQ5313077
Josef Urban, Grzegorz Bancerek
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100478
Related Items
A survey on retrieval of mathematical knowledge, Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization, Mizar: State-of-the-art and Beyond, Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library, MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics, MPTP 0.2: Design, implementation, and initial experiments, Custom automations in Mizar, Integrating searching and authoring in Mizar, Semantics of Mizar as an Isabelle object logic, Presenting and Explaining Mizar
Uses Software
