Revisions as an Essential Tool to Maintain Mathematical Repositories

DOI10.1007/978-3-540-73086-6_20MaRDI QIDQ5428273zbMATH OpenOpenAlexFDO

Authors Adam Grabowski, Christoph Schwarzweller

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_20

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 1951637
• On duplication in mathematical repositories
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• Mathematical knowledge management in MIZAR

Cited in

(18)

• The role of the Mizar mathematical library for interactive proof development in Mizar
• Gauge integral
• Sequences of prime reciprocals. Preliminaries
• Accessing the Mizar library with a weakly strict Mizar parser
• Enhancement of \textsc{Mizar} texts with transitivity property of predicates
• Four decades of \textsc{Mizar}. Foreword
• Mechanizing complemented lattices within Mizar type system
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
• Improving legibility of formal proofs based on the close reference principle is NP-hard
• Mizar: state-of-the-art and beyond
• Tools for MML environment analysis
• On duplication in mathematical repositories
• scientific article; zbMATH DE number 1241663 (Why is no real title available?)
• Repository mirroring
• SAT-enhanced Mizar proof checking
• Fundamentals of finitary proofs
• Elementary number theory problems. Part XIV: Diophantine equations

Describes a project that uses

Uses Software

• Mathematica
• MoMM
• Mizar
• MML

This page was built for publication: Revisions as an Essential Tool to Maintain Mathematical Repositories

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