Notations for living mathematical documents

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

Volumn 5144 LNAI, Issue , 2008, Pages 504-519

  Kohlhase, Michael ^a   Müller, Christine ^a   Rabe, Florian ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNATIONAL CONFERENCES; RENDERING ALGORITHMS; SYMBOLIC COM-PUTATION;

ADMINISTRATIVE DATA PROCESSING; ARTIFICIAL INTELLIGENCE; COMPUTER NETWORKS; INFORMATION MANAGEMENT; KNOWLEDGE MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS; PIPELINES;

CLASSIFICATION (OF INFORMATION);

EID: 51049088870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85110-3_41     Document Type: Conference Paper

References (19)

1. Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0, 2nd edn. W3C recommendation, World Wide Web Consortium (2003), http://www.w3.org/TR/MathML2
2. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The Open Math Society (2004), http://www.openmath.org/standard/om20
3. Cajori, F.: A History of Mathematical Notations. Courier Dover Publications(1993) (Originally published in 1929)
4. Cascading Style Sheets (1999), http://www.w3.org/Style/CSS/
5. Kay, M.: XSL Transformations (XSLT) Version 2.0. W3C Candidate Recommendation, World Wide Web Consortium (W3C) (June 2006), http://www.w3.org/TR/2006/CR-xslt20-20060608/
6. Kohlhase, M., Lange, C., Müller, C., Müller, N., Rabe, F.: Adaptation of notations in living mathematical documents. KWARC report, Jacobs University Bremen (2008)
7. Kohlhase, M., Lange, C., Rabe, F.: Presenting mathematical content with flexible elisions. In: Caprotti, O., Kohlhase, M., Libbrecht, P. (eds.) Open-Math/JEM Workshop 2007 (2007)
8. Kohlhase, M., Müller, C., Müller, N.: Documents with flexible notation contexts as interfaces to mathematical knowledge. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop 2007 (2007)
9. Kohlhase, M.: OMDoc - An open markup format for mathematical documents [Version 1.2]. LNCS (LNAI). vol. 4180. Springer, Heidelberg (2006)
10. rd Workshop on Semantic Wikis, European Semantic Web Conference 2008, Costa Adeje, Tenerife, Spain (June 2008)
11. Manzoor, S., Libbrecht, P., Ullrich, C. Melis, E.: Authoring Presentation for OPENMATH. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, pp. 33-48. Springer, Heidelberg (2006)
12. Müller, C., Müller, N., Kohlhase, M.: mmlkit - a toolkit for handling mathematical documents and MathML3 notation definitions. mmlkit v0.1 (November 2007) http://kwarc.info/projects/mmlkit
13. Müller, C., Rhei, P.: http://kwarc.info/projects/panta-rhei/ (August 2007)
14. Naylor, B., Watt, S.M.: Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. In: Proceedings of the International Workshop on Mathematical Knowledge Management (2001)
15. Naylor, B., Watt, S.M.: Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. In: Proceedings of the International Workshop on Mathematical Knowledge Management [NW01a]
16. IEEE POSIX, ISO/IEC 9945 (1988)
17. Smirnova, E., Watt, S.M.: Generating TeX from Mathematical Content with Respect to Notational Settings. In: Proceedings International Conference on Digital Typography and Electronic Publishing: Localization and Internationalization (TUG 2006), Marrakech. Morocco, pp. 96-105 (2006)
18. Smirnova, E., Watt, S.M.: Notation Selection in Mathematical Computing Environments. In: Proceedings Transgressive Computing 2006: A conference in honor of Jean Della Dora (TC 2006), Granada, Spain, pp. 339-355 (2006)
19. Wolfram, S.: 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/