Revisions as an Essential Tool to Maintain Mathematical Repositories

Authors:
Adam Grabowski;Christoph Schwarzweller
Affiliations:
Institute of Mathematics, University of Białystok, ul. Akademicka 2, 15-267 Białystok, Poland;Department of Computer Science, University of Gdańsk, ul. Wita Stwosza 57, 80-952 Gdańsk, Poland
Venue:
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Year:
2007

Citing 6
Cited 0

Technical Aspects of the Digital Library of Mathematical Functions

Annals of Mathematics and Artificial Intelligence
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
MKM from Book to Computer: A Case Study

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
On the Integrity of a Repository of Formalized Mathematics

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
A Refinement of de Bruijn's Formal Language of Mathematics

Journal of Logic, Language and Information
Information retrieval and rendering with MML query

MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintaining such a repository is as hard as building it --- especially for an open collection with a large number of contributors. In this paper we argue that even careful reviewing of contributions cannot cope with the task of keeping a mathematical repository efficient and clearly arranged in the long term. We discuss reasons for revisions of mathematical repositories accomplished by the "core implementors" and illustrate our experiences with revisions of MML, the Mizar Mathematical Library.