Towards collaborative content management and version control for structured mathematical knowledge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2594, Issue , 2003, Pages 147-161

  Kohlhase, Michael ^a   Anghelache, Romeo ^b  

^a Carnegie Mellon University ^*  (United States)

^b ALBERT EINSTEIN INSTITUT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CHANGE DETECTION; CLIENT/SERVER MODELS; CONTENT MANAGEMENT; DISTRIBUTED MANAGEMENT; DISTRIBUTION MODELS; MATHEMATICAL KNOWLEDGE; MATHEMATICAL THEORY; VERSION CONTROL;

ARTIFICIAL INTELLIGENCE;

EID: 35248850823     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36469-2_12     Document Type: Article

References (22)

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-fd\%l.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.
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.
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.
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.
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.
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.
11. Concurrent versions system: The open standard for version control. Web site at http://www.cvshome.org.
12. 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.
13. Dieter Hutter. Management of change in structured verification. In Proceedings Automated Software Engineering (ASE-2000). IEEE Press, 2000.
14. 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.
15. 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.
16. Robin La Fontaine. Merging XML files: A new approach providing intelligent merge of xml data sets. In XML Europe 2002 - Conference Proceedings, 2002.
17. ∼ctl/3dm/.
18. 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.
19. Gerald W. Manger. A generic algorithm for merging SGML/XML-instances. In XML Europe 2001 - Conference Proceedings, 2001.
20. The OMDoc repository. web page at http://www.mathweb.org/omdoc.
21. ∼yuanwang/xdiff.html.
22. 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/.