Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

  • Michael Kohlhase
  • Romeo Anghelache
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2594)


We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference.

We describe the API and the functionality needed to realize a CVS -like version control and distribution model.This architecture extends the CVS architecture in two ways,motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet.On the one hand the one-level client/server model of CVS is generalized to a multi-level graph of client/server relations,and on the other hand the underlying change-detection tools take the math-specific structure of the data into account.


Mathematical Knowledge Mathematical Object Version Control Document Model Development Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ABC + 02]
    Stuart Allen, Mark Bickford, Robert Constable, Richard Eaton, Christoph Kreitz,and Lori Lorigo.FDL:A prototype formal digital library-description and draft reference manual.Technical report,Computer Science,Cornell,2002.
  2. [AHMS00]
    Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer.Towards an evolutionary formal software-development using CASL.In C. Choppy and D. Bert,editors,Proceedings Workshop on Algebraic Development Techniques,WADT-99.Springer,LNCS 1827,2000.zbMATHGoogle Scholar
  3. [AHMS02]
    Serge Autexier, Dieter Hutter, Till Mossakowski,and Axel Schairer. The development graph manager MAYA (system description).In Hélene Kirchner,editor,Proceedings of 9th International Conference on Algebraic Methodology And Software Technology (AMAST’ 02). Springer Verlag,2002.Google Scholar
  4. [APCS01]
    Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena. HELM and the semantic math-web. In Paul B. Jackson Richard. J. Boulton, editor, Theorem Proving in Higher Order Logics: TPHOLs’ 01,volume 2152 of LNCS,pages 59–74.Springer,2001.CrossRefGoogle Scholar
  5. [BKTT02]
    Peter Buneman, Sanjeev Khanna, Keishi Tajima,and Wang Chiew Tan. Archiving scientific data.In ACM SIGMOD International Conference on Management of Data (SIGMOD),2002.Google Scholar
  6. [CC98]
    Olga Caprotti and Arjeh M. Cohen.Draft of the Open Math standard. The Open Math Society,,1998.
  7. [CIMP01]
    David Carlisle, Patrick Ion, Robert Miner,and Nico Poppelier.Mathematical Markup Language (MathML)version 2.0.W3C recommendation,World Wide Web Consortium,2001.Available at
  8. [Cla99]
    XML path language (XPath)Version 1.0.W3C recommendation,The World Wide Web Consortium,1999.available at
  9. [CRGMW96]
    Sudarshan S. Chawathe, Anand Rajaraman, Hector Garcia-Molina,and Jennifer Widom.Change detection in hierarchically structured information.In ACM SIGMOD International Conference on Management of Data (SIGMOD),pages 493–504,1996.Google Scholar
  10. [CTZZ01]
    Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo,and Donghui Zhang. Storing and querying multiversion XML documents using durable node numbers.In Proc.of The 2nd International Conference on Web Information Systems Engineering (WISE),2001.Google Scholar
  11. [FK00]
    Andreas Franke and Michael Kohlhase.System description:MBase, an open mathematical knowledge base.In David McAllester,editor, Automated Deduction-CADE-17,number 1831 in LNAI,pages 455–459.Springer Verlag,2000.Google Scholar
  12. [Hut00]
    Dieter Hutter.Management of change in structured verification.In Proceedings Automated Software Engineering (ASE-2000).IEEE Press, 2000.Google Scholar
  13. [KF01]
    Michael Kohlhase and Andreas Franke.MBase:Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation;Special Issue on the Integration of Computer algebra and Deduction Systems,32(4):365–402,2001.MathSciNetCrossRefGoogle Scholar
  14. [Koh00]
    Michael Kohlhase.OMDoc:An open markup format for mathematical documents.Seki Report SR-00-02,Fachbereich Informatik,Universität des Saarlandes,2000.
  15. [LF02]
    Robin La Fontaine.Merging XML files:A new approach providing intelligent merge of xml data sets.In XML Europe 2002-Conference Proceedings,2002.Google Scholar
  16. [Lin01]
    Tancred Lindholm.A 3-way merging algorithm for synchronizing ordered trees-the 3DM merging and di.erencing tool for XML.Master’s thesis,Helsinki University of Technology,2001.
  17. [LM00]
    Andreas Laux and Lars Martin.XUpdate-XML update language. Working Draft of the XML:DB Initiative,2000.
  18. [Man01]
    Gerald W. Manger.A generic algorithm for merging SGML/XML-instances.In XML Europe 2001-Conference Proceedings,2001.Google Scholar
  19. [WDC02]
    Yuan Wang, David J. DeWitt,and Jin-Yi Cai. X-Di.:An effective change detection algorithm for XML documents,2002.Submitted,
  20. [WKLW99]
    S. Weibel, J. Kunze, C. Lagoze,and M. Wolf. Dublin Core Metadata Element Set,Version 1.1:Reference Description.DCMI Recommendation,1999.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Michael Kohlhase
    • 1
  • Romeo Anghelache
    • 2
  1. 1.Computer Science, Carnegie Mellon UniversityCarnegie MellonAustralia
  2. 2.Albert Einstein InstituteGolmGermany

Personalised recommendations