Skip to main content
SpringerLink
Log in

Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

  • Conference paper
  • First Online:
Mathematical Knowledge Management (MKM 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2594))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.http://www.cs.cornell.edu/Info/Projects/NuPrl/html/FDLProject/02cucs-fdxxx%l_OnlinePDF.pdf.

  2. 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.

    MATH  Google Scholar 

  3. 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. 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.

    Chapter  Google Scholar 

  5. 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. Olga Caprotti and Arjeh M. Cohen.Draft of the Open Math standard. The Open Math Society,http://www.openmath.org,1998.

  7. 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 http://www.w3.org/TR/MathML2.

  8. XML path language (XPath)Version 1.0.W3C recommendation,The World Wide Web Consortium,1999.available at http://www.w3.org/TR/xpath.

  9. 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. 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. 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. Dieter Hutter.Management of change in structured verification.In Proceedings Automated Software Engineering (ASE-2000).IEEE Press, 2000.

    Google Scholar 

  13. 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.

    Article  MathSciNet  Google Scholar 

  14. Michael Kohlhase.OMDoc:An open markup format for mathematical documents.Seki Report SR-00-02,Fachbereich Informatik,Universität des Saarlandes,2000.http://www.mathweb.org/omdoc.

  15. 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. 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. http://www.cs.hut.fi/~ctl/3dm/.

  17. Andreas Laux and Lars Martin.XUpdate-XML update language. Working Draft of the XML:DB Initiative,2000. http://www.xmldb.org/xupdate/xupdate-wd.html.

  18. Gerald W. Manger.A generic algorithm for merging SGML/XML-instances.In XML Europe 2001-Conference Proceedings,2001.

    Google Scholar 

  19. Yuan Wang, David J. DeWitt,and Jin-Yi Cai. X-Di.:An effective change detection algorithm for XML documents,2002.Submitted, http://www.cs.wisc.edu/~yuanwang/xdiff.html.

  20. S. Weibel, J. Kunze, C. Lagoze,and M. Wolf. Dublin Core Metadata Element Set,Version 1.1:Reference Description.DCMI Recommendation,1999.http://dublincore.org/documents/1999/07/02/dces/.

Download references

Author information

Authors and Affiliations

  1. Computer Science, Carnegie Mellon University, Carnegie Mellon, Australia

    Michael Kohlhase

  2. Albert Einstein Institute, Golm, Germany

    Romeo Anghelache

Authors
  1. Michael Kohlhase
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Romeo Anghelache
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Bologna, Mura Anteo Zamboni, 7, 40127, Bologna, Italy

    Andrea Asperti

  2. Research Institute for Symbolic Computation, Johannes Kepler University, 4232 Castle of Hagenberg, Austria

    Bruno Buchberger

  3. Departments of Mathematical Sciences and Computer Science, University of Bath, BA2 7AY, Bath, England

    James Harold Davenport

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kohlhase, M., Anghelache, R. (2003). Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds) Mathematical Knowledge Management. MKM 2003. Lecture Notes in Computer Science, vol 2594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36469-2_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-36469-2_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00568-1

  • Online ISBN: 978-3-540-36469-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation