Towards improving interactive mathematical authoring by ontology-driven management of change

LWA 2007 - Lernen - Wissen - Adaptivitat - Learning, Knowledge, and Adaptivity, Workshop Proceedings

Volumn , Issue , 2007, Pages 289-295

  Müller, Normen ^a   Wagner, Marc ^b  

^a JACOBS UNIVERSITY BREMEN   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ASSISTANCE SYSTEM; MANAGEMENT OF CHANGE; NATURAL LANGUAGES; WYSIWYG;

EMPOWERMENT OF PERSONNEL;

EID: 64549119522     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. S. Autexier and D. Dietrich. Synthesizing proof planning methods and ants agents from mathematical knowledge. In J. Borwein and B. Farmer, editors, Proceedings of MKM'06, volume 4108 of LNAI, pages 94-109. Springer, 2006
2. S. Autexier and D. Hutter. Formal software development in Maya. In D. Hutter and W. Stephan, editors, Festschrift in Honor of J. Siekmann, volume 2605 of LNAI. Springer, February 2005
3. Serge Autexier, Armin Fiedler, Thomas Neumann, and Marc Wagner. Supporting userdefined notations when integrating scientific text-editors with proof assistance systems. In Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger, editors, Towards Mechanized Mathematical Assistants, LNAI. Springer, june 2007
4. S. Autexier. The CORE calculus. In R. Nieuwenhuis, editor, Proceedings of CADE-20, LNAI 3632, Tallinn, Estonia, July 2005. Springer
5. Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, and Michael Kohlhase. The Open Math standard, version 2.0. Technical report, The Open Math Society, 2004. http://www.openmath.org/standard/om20
6. CONNEXIONS. Project homepage at http://www.cnx.org, seen February 2007
7. D. Dietrich. The Task Layer of the MEGASystem. Diploma thesis, Saarland University, Saarbrücken, Germany, 2006
8. Frederick Eberhardt and Michael Kohlhase. A Document-Sensitive XML-CVS Client. unpublished KWARC blue notes, 2004
9. Brent Hendricks and Adan Galvan. The Connexions Markup Language (CNXML). http://cnx.org/aboutus/technology/cnxml/, 2007. Seen June 2007
10. X. Huang. Human Oriented Proof Presentation: A Reconstructive Approach. Number 112 in DISKI. Infix, Sankt Augustin, Germany, 1996
11. Michael Kohlhase and Romeo Anghelache. Towards collaborative content management and version control for structured mathematical knowledge. In Andrea Asperti, Bruno Buchberber, and James Harold Davenport, editors, Mathematical Knowledge Management, MKM'03, number 2594 in LNCS, pages 147-161. Springer Verlag, 2003
12. M. Kohlhase. OMDOC-An Open Markup Format for Mathematical Documents [Version 1.2], volume 4180 of LNAI. Springer, August 2006
13. locutor: An Ontology-Based Management of Change, seen June 2007. system homepage at http://www.kwarc.info/projects/locutor/
14. MMISS: Multimedia in Safe and Secure Systems. Web site at www.mmiss.de, seen July 2007
15. Normen Müller. An Ontology-Driven Management of Change. In Wissens-und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, 2006
16. Normen Müller. Towards an Ontology-Driven Management of Change. Exposé of PhD research proposal, June 2007
17. Interactive Mathematical Authoring with PLATO, seen June 2007. System homepage at http://www.ags.uni-sb.de/plato/bin/view.pl
18. J. Siekmann, C. Benzmüller, A. Fiedler, A. Meier, and M. Pollet. Proof development with OMEGA: p 2 is irrational. In M. Baaz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, number 2514 in LNAI, pages 367-387. Springer, 2002
19. Katrien Verbert and Erik Duval. Towards a Global Component Architecture for Learning Objects: A Comparative Analysis of Learning Object Content Models. In Proceedings of the EDMEDIA 2004 World Conference on Educational Multimedia, Hypermedia and Telecommunications, pages 202-208, 2004
20. W3C. XHTML 1.0 The Extensible Hyper-Text Markup Language (Second Edition). http://www.w3.org/TR/xhtml1/, 2000. Seen July 2007
21. W3C. Mathematical Markup Language (MathML) Version 2.0 (Second Edition). http://www.w3.org/TR/MathML2/, 2003. Seen July 2007
22. W3C. XML Inclusions (XInclude) Version 1.0 (Second Edition), seen July 2007. http://www.w3.org/TR/xinclude/
23. M. Wagner, S. Autexier, and C. Benzmüller. PLAT: A mediator between texteditors and proof assistance systems. In C. Benzmüller S. Autexier, editor, 7th Workshop on User Interfaces for Theorem Provers (UITP'06), ENTCS. Elsevier, August 2006
24. F. Wiedijk. Formal proof sketches. In S. Berardi, M. Coppo, and F. Damiani, editors, Types for Proofs and Programs: Third International Workshop, TYPES 2003, LNCS 3085, pages 378-393, Torino, Italy, 2004. Springer