Using LATEX as a semantic markup format

Mathematics in Computer Science

Volumn 2, Issue 2, 2008, Pages 279-304

  Kohlhase, Michael ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

Elision; Knowledge representation; Semantics; Typography

Indexed keywords

EID: 70049101201     PISSN: 16618270     EISSN: 16618289     Source Type: Journal    
DOI: 10.1007/s11786-008-0055-5     Document Type: Article

References (54)

1. R. Anghelache. Hermes - a semantic xml+mathml+unicode e-publishing/self-archiving tool for latex authored scientific articles. http://hermes.roua.org/, 2007.
2. arXiv.org e-Print archive, seen December 2007. http://www.arxiv.org.
3. arXMLiv: Translating the arXiv to XML+MathML, seen December 2007. http://kwarc.info/projects/arXMLiv/.
4. R. Ausbrooks, S. Buswell, D. Carlisle, Stéphane Dalmas, S. Devitt, A. Diaz, M. Froumentin, R. Hunter, P. Ion, Michael Kohlhase, R. Miner, N. Poppelier, B. Smith, N. Soiffer, Robert Sutor, and S. Watt. Mathematical Markup Language (MathML) Version 2.0 (second edition). W3C recommendation, World Wide Web Consortium, 2003. Available at http://www.w3.org/TR/MathML2.
5. R. Ausbrooks, B. Bos, O. Caprotti, D. Carlisle, G. Chavchanidze, A. Coorg, S. Dalmas, S. Devitt, S. Dooley, M. Hinchcliffe, P. Ion, M. Kohlhase, A. Lazrek, D. Leas, P. Libbrecht, M. Mavrikis, B. Miller, R. Miner, M. Sargent, K. Siegrist, N. Soiffer, S. Watt, and M. Zergaoui. Mathematical Markup Language (MathML) Version 3.0. W3C working draft of march april 9., World Wide Web Consortium, 2008. Available at http://www.w3.org/TR/MathML3.
6. S. Autexier, A. Fiedler, T. Neumann, and M. Wagner. Supporting user-defined notations when integrating scientific text-editors with proof assistance systems. In Kauers et al. [26], pages 176-190.
7. S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy and D. Bert, (eds.), Proceedings Workshop on Algebraic Development Techniques, WADT-99, number 1827 in LNCS, pages 73-88. Springer Verlag, 2000.
8. S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, and F. Wiedijk (eds.). Intelligent Computer Mathematics, 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28-August 1, 2008, Proceedings, LNAI, vol. 5144, Springer Verlag, 2008
9. P. Baumgartner, U. Furbach, M. Gross-Hardt, and A. Sinner. Living book - deduction, slicing, and interaction. Journal of Automated Reasoning, 32(3):259-286, 2004.
10. J. A. Bergstra. Algebraic specification. ACM Press, 1989.
11. T. Berners-Lee. The semantic web, 1998. Available at http://www.w3.org/DesignIssues/Semantic.html, seen July 2006.
12. N. Bourbaki. Algebra I. Elements of Mathematics. Springer Verlag, 1974.
13. S. Buswell, O. Caprotti, D. P. Carlisle, M. C. Dewar, M. Gaetano, and M. Kohlhase. The Open Math standard, Version 2.0. Technical report, The Open Math Society, 2004. http://www.openmath.org/standard/om20.
14. F. Cajori. A History of Mathematical Notations. Courier Dover Publications, 1993. Originally published in 1929.
15. D. Carlisle. The keyval package. The Comprehensive TEX Archive Network, 1999. Part of the TEX distribution.
16. Connexions Team. Connexions: Sharing knowledge and building communities. White paper at http://cnx.org/aboutus/publications/ConnexionsWhitePaper.pdf, 2006.
17. CTAN the Comprehensive TEX Archive Network. http://www.ctan.org.
18. C. Dwertmann, A. Lindow, C. Lüth, M. Roggenbach, and J.-G. Smaus. How to use and configure MMiSSLATEX, 2004. avaialble at http://www.informatik.uni-bremen.de/mmiss/tools_e.htm.
19. W. Farmer. A. infrastructure for intertheory reasoning. In D. McAllester, (ed.), Automated Deduction - CADE-17, number 1831 in LNAI, pages 115-131. Springer Verlag, 2000.
20. W. M. Farmer. Mathematical knowledge management. In D. G. Schwartz (ed.), Mathematical Knowledge Management, pages 599-604. Idea Group Reference, 2005.
21. th Conference on Automated Deduction, volume 607 of LNCS, pages 467-581, Saratoga Springs, NY, USA, 1992. Springer Verlag.
22. T. Groza, S. Handschuh, K. Möller, and S. Decker. Salt - semantically annotated latex for scientific publications. In E. Franconi, M. Kifer, and W. May, (eds.), ESWC, volume 4519 of Lecture Notes in Computer Science, pages 518-532. Springer, 2007.
23. B. Hendricks and A. Galvan. The Connexions Markup Language (CNXML). http://cnx.org/aboutus/technology/cnxml/, 2007. Seen June 2007.
24. G. Henry, R. G. Baraniuk, and C. Kelty. The connexions project: Promoting open sharing of knowledge for education. In Syllabus, Technology for Higher Education, 2003.
25. F. Kamareddine, R. Lamar, M. Maarek, and J. B. Wells. Restoring natural language as a computerised mathematics input method. In Kauers et al. [26], pages 280-295.
26. M. Kauers, M. Kerber, R. Miner, and W. Windsteiger, (eds.). MKM/Calculemus 2007, number 4573 in LNAI. Springer Verlag, 2007.
27. D. E. Knuth. The TEXbook. Addison Wesley, 1984.
28. A. Kohlhase and M. Kohlhase. CPoint: Dissolving the author's dilemma. In A. Asperti, G. Bancerek, and A. Trybulec, (eds.), Mathematical Knowledge Management, MKM'04, number 3119 in LNAI, pages 175-189. Springer Verlag, 2004.
29. M. Kohlhase, C. Müller, and N. Müller. Documents with flexible notation contexts as interfaces to mathematical knowledge. In Paul Libbrecht, (ed.), Mathematical User Interfaces Workshop 2007, 2007.
30. M. Kohlhase, C. Müller, and F. Rabe. Notations for living mathematical documents. In MKM08 [8]. in press.
31. A. Kohlhase. Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In F. de Vries, G. Attwell, R. Elferink, and A. Tödt, (eds.), Open Source for Education in Europe: Research and Practise, pages 51-56, Heerlen, The Netherlands, November 2005. Open Universiteit Nederland, Open Universiteit Nederland. Proceedings at http://hdl.handle.net/1820/483.
32. M. Kohlhase. CnxLATEX: A LATEX-based syntax for connexions modules. Self-documenting LATEX package, available at https://svn.kwarc.info/repos/stex/sty/cmathml.pdf, 2006.
33. M. Kohlhase. OMDoc - An open markup format for mathematical documents. Number 4180 in LNAI. Springer Verlag, 2006.
34. B. Krieg-Brückner, A. Lindow, C. Lüth, A. Mahnke, and G. Russell. Semantic interrelation of documents via an ontology. In G. Engels and S. Seehusen, (eds.), DeLFI 2004, volume P-52 of LNI, pages 271-282. Springer-Verlag, 2004.
35. L. Lamport. How to write a proof. American Mathematical Monthly, 102(7):600-608, 1994.
36. L. Lamport. LaTeX: A Document Preparation System, 2/e. Addison Wesley, 1994.
37. C. Lange and M. Kohlhase. A Semantic Wiki for Mathematical Knowledge Management. In J. Rech, B. Decker, and E. Ras, (eds.), Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, pages 47-68. IGI Global, 2008. In press.
38. Language Design Task Group CoFI. Casl - the CoFI algebraic specification language - summary, Version 1.0. Technical report, http://www.brics.dk/Projects/CoFI, 1998.
39. LATEX Project. The LATEX project public license. Software License available at http://www.latex-project.org/lppl/, seen 2007.
40. D. L. McGuinness and F. van Harmelen. OWL web ontology language overview. W3C recommendation, W3C, February 2004. Available at http://www.w3.org/TR/2004/REC-owl-features-20040210/.
41. E. Melis, J. Buedenbender, E. Andres, A. Frischauf, G. Goguadze, P. Libbrecht, M. Pollet, and C. Ullrich. The ACTIVEMATH learning environment. Artificial Intelligence and Education, 12(4), 2001.
42. B. Miller. LaTeXML: A LATEX to xml converter. Web Manual at http://dlmf.nist.gov/LaTeXML/, seen September 2007.
43. C. M̈ller and M. Kohlhase. panta rhei. In A. Hinneburg, (ed.), Wissens- und Er-fahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, pages 318-323, 2007.
44. P. Murray-Rust et al. Chemical markup language (CML). http://cml.sourceforge.net/, seen January 2007.
45. T. Nipkow, Lawrence C. Paulson, and M. Wenzel. Isabelle/HOL - A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer, 2002.
46. A. Robinson and A. Voronkov, (eds). Handbook of Automated Reasoning, volume I and II. Elsevier Science and MIT Press, 2001.
47. H. Stamerjohanns and M. Kohlhase. Transforming the arkhgriv to xml. In MKM08 [8]. in press.
48. Subversion repository at https://svn.kwarc.info/repos/stex.
49. Subversion repository at https://svn.kwarc.info/repos/stex/emacs.
50. Subversion repository at https://svn.kwarc.info/repos/stex-content/slides.
51. K. Sutner. Converting mathematica notebooks to OMDoc. In OMDoc - An open markup format for mathematical documents [33], Chapter 26.17.
52. M. van den Brand and J. Stuber. Extracting mathematical semantics from latex documents. In Proc. Intl. Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2003), number 2901 in LNCS, pages 160-173, Mumbai, India, 2003. Springer.
53. J. M. Wing. A specifier's introduction to formal methods. IEEE Software, 23(9):8-24, September 1990.
54. S. Wolfram. Mathematical notation: Past and future. In MathML and Math on the Web: MathML International Conference, Urbana Champaign, USA, October 2000. http://www.stephenwolfram.com/publications/talks/mathml/.