Revisions as an Essential Tool to Maintain Mathematical Repositories

DOI10.1007/978-3-540-73086-6_20zbMath1202.68465OpenAlexW1486157587MaRDI QIDQ5428273

Christoph Schwarzweller, Adam Grabowski

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)

Related Items

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 ⋮ 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 Mizar Texts with Transitivity Property of Predicates ⋮ SAT-Enhanced Mizar Proof Checking

Uses Software

• Mathematica
• MoMM
• Mizar
• MML