OMDoc: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge

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

Volumn 1930, Issue , 2001, Pages 32-52

  Kohlhase, Michael ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SOFTWARE AGENTS;

AGENT COMMUNICATIONS; CONTENT LANGUAGES; INTERACTIVE BOOKS; INTERNET STANDARD; MATHEMATICAL KNOWLEDGE; MATHEMATICAL SOFTWARE;

ARTIFICIAL INTELLIGENCE;

EID: 84974687882     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44990-6_3     Document Type: Conference Paper

References (37)

1. 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.
2. Alessandro Armando and Michael Kohlhase. Communication protocols for mathematical services based on KQML and OMRS. In Manfred Kerber and Michael Kohlhase, editors, CALCULEMUS-2000, Systems for Integrated Computation and Deduction, 2000, AKPeters.
3. J. Abbot, A. van Leeuwen, and A. Strotmann. Objectives of Open-Math. Technical report 12, RIACA, Technische Universiteit Eindhoven, The Netherlands, June 1996.
4. Alessandro Armando and Daniele Zini. Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. In A. Poggi, editor, AI*IA-TABOO Workshop ‘From Objects to Agents: Evolutionary Trends of Software Systems’, 2000.
5. Judith Baur. Syntax und semantik mathematisher texte - ein prototyp. Master Thesis, Saarland University, 1999.
6. Christoph Benzmüller, Matthew Bishop, and Volker Sorge. Integrating Tps and Ωmega. Journal of Universal Computer Science, 5(2), 1999.
7. The Ωmega group. Ωmega: Towards a mathematical assistant. In William McCune, editor, CADE-14, LNAI 1249, pages 252-255, 1997. Springer Verlag.
8. Tim Bray, Jean Paoli, and C. M. Sperberg-McQueen. Extensible Markup Language (XML). W3C Recommendation TR-XML, December 1997. http://www.w3.org/TR/PR-xml.html.
9. Robert G. Bartle and Donald Sherbert. Introduction to Real Analysis. Wiley, 2 edition, 1982.
10. R. Boulton, K. Slind, A. Bundy, and M. Gordon. An interface between CLAM and HOL. In Jim Grundy and Malcolm Newey, editors, TPHOLS-98, pages 87-104, 1998.
11. Olga Caprotti and Arjeh M. Cohen. Draft of the OpenMath standard. The Open Math Society, http://www.nag.co.uk/projects/OpenMath/omstd/, 1998.
12. Arjeh Cohen, Hans Cuypers, and Hans Sterk. Algebra Interactive! Springer Verlag, 1999. Interactive Book on CD.
13. Language Design Task Group CoFI. Casl - the CoFI algebraic specification language - summary, version 1.0. Technical report, http://www.brics.dk/Projects/CoFI, 1998.
14. Louise A. Dennis, Graham Collins, Michael Norrish, Richard Boulton, Konrad Slind, Graham Robinson, Mike Gordon, and Tom Melham. The Prosper toolkit. In Proc. TACAS-2000, 2000.
15. Stephen Deach. Extensible stylesheet language (xsl) specification. W3c working draft, W3C, 1999. http://www.w3.org/TR/WD-xsl.
16. T. Finin and R. Fritzson. KQML- a language and protocol for knowledge and information exchange. In Proceedings of the 13th Intl. Distributed Artificial Intelligence Workshop, pages 127-136, 1994.
17. Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, and Volker Sorge. Agent-oriented integration of distributed mathematical services. Journal of Universal Computer Science, 5: 156-187, 1999.
18. Armin Fiedler. Towards a proof explainer. In Siekmann et al. [SPH97], pages 53-54.
19. Armin Fiedler. Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs. In Thomas Dean, editor, Proceedings IJCAI-99, pages 358-363, 1999. Morgan Kaufmann.
20. Andreas Franke and Michael Kohlhase. Communicating with mbase in kqml. Internet Draft http://www.mathweb.org/mbase, 1999.
21. Andreas Franke and Michael Kohlhase. System description: MathWeb, an agent-based communication layer for distributed automated theorem proving. In Harald Ganzinger, editor, Proceedings CADE-16, LNAI 1632, pages 217-221. Springer Verlag, 1999.
22. Andreas Franke and Michael Kohlhase. System description: MBase, an open mathematical knowledge base. In David McAllester, editor, CADE-17, LNAI 1831, pages 455-459. Springer Verlag, 2000.
23. Xiaorong Huang and Armin Fiedler. Presenting machine-found proofs. In M.A. McRobbie and J.K. Slaney, editors, Proceedings CADE-13, LNAI 1104, pages 221-225, 1996. Springer Verlag.
24. Xiaorong Huang and Armin Fiedler. Proof verbalization in PROVERB. In Siekmann et al. [SPH97], pages 35-36.
25. Helmut Horacek. Generating inference-rich discourse through revisions of RST-trees. In Proceedings AAAI-98, pages 814-820. MIT Press, 1998.
26. Dieter Hutter. Reasoning about theories. Technical report, DFKI, 1999.
27. Patrick Ion and Robert Miner. Mathematical Markup Language (MathML) 1.0 specification. W3C Recommendation 1998. http://www.w3.org/TR/REC-MathML/.
28. Michael Kohlhase and Andreas Franke. Mbase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Comutation, 2000. forthcoming.
29. Michael Kohlhase. Creating omdoc representations from LATEX. Internet Draft http://www.mathweb.org/omdoc, 2000.
30. Michael Kohlhase. OMDoc: Towards an openmath representation of mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes, 2000.
31. William Mann and Sandra Thompson. Rhethorical structure theory: A theory of text organization. Technical Report ISI/RR-83-115, ISI at University of Southern California, 1983.
32. Dave Raggett, Arnaud Le Hors, and Ian Jacobs. HTML 4.0 Specification. W3C Recommendation 1998. http://www.w3.org/TR/PR-xml.html.
33. Martin Schönert et al. GAP - Groups, Algorithms, and Programming. RWTH Aachen, Germany, 1995.
34. The Ωmega group. Adaptive course generation and presentation. In P. Brusilovski, editor, Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems, Montreal, 2000.
35. Y. Shoham. Agent-Oriented Programming. Technical report, Stanford University, 1990.
36. M. Kohlhase S. Hess, Ch. Jung and V. Sorge. An implementation of distributed mathematical services. In Arjeh Cohen and Henk Barendregt, editors, CALCULEMUS and TYPES, 1998.
37. J. Siekmann, F. Pfenning, and X. Huang, editors. Proceedings of the First International Workshop on Proof Transformation and Presentation, Schloss Dagstuhl, Germany, 1997.