The freedom to extend Openmath and its utility

Mathematics in Computer Science

Volumn 2, Issue 2, 2008, Pages 379-398

  Davenport, James H ^a   Libbrecht, Paul ^b  

^a University of Bath   (United Kingdom)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

Multilinguality; Notation; Semantics; World wide web

Indexed keywords

EID: 69949120159     PISSN: 16618270     EISSN: 16618289     Source Type: Journal    
DOI: 10.1007/s11786-008-0059-1     Document Type: Article

References (35)

1. M. Abramowitz and I. Stegun. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office, 1964.
2. M. E. Altamimi and Abdou S. Youssef. A More Canonical Form of Content MathML to Facilitate Math Search. Extreme Markup Languages 2007 http://www.idealliance.org/papers/extreme/proceedings/html/2007/Altamimi01/EML2007Altamimi01.xml
3. Anonymous. Natürliche Zahlen. http://www.mathe-online.at/mathint/lexikon/n.html, 2006.
4. Anonymous. Wikipedia, Deutsch. http://de.wikipedia.org, 2007.
5. P. Bachmann. Die analytische Zahlentheorie. Teubner, 1894.
6. J. P. Bennett, J. H. Davenport, M. C. Dewar, D. L. Fisher, M. Grinfeld, and H. Sauro. Computer Algebra Approaches to Enzyme Kinetics. In Algebraic Computing in Control, Springer Lecture notes in Control and Information Sciences 165, 1991 G. Jacob and F. Lamnabhi-Lagarrigue (eds.)
7. S. Buswell, O. Caprotti, D. P. Carlisle, M. C. Dewar, M. Gaëtano, and M. Kohlhase. The OpenMath Standard 2.0. http://www.openmath.org, 2004.
8. D. P. Carlisle. Openmath, MathML and XSLT. ACM SIGSAM Bulletin 2, 34:6-11, 2000.
9. R. M. Corless, J. H. Davenport, D. J. Jeffrey, and S. M. Watt. According to Abramowitz and Stegun. SIGSAM Bulletin 2, 34:58-65, 2000.
10. T.H. Cormen, C.E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms, 2nd. ed.. M.I.T. Press, 2001.
11. J. H. Davenport. A Small OpenMath Type System. ACM SIGSAM Bulletin 2, 34:16-21, 2000.
12. J. H. Davenport. Nauseating Notation. http://staff.bath.ac.uk/masjhd/Drafts/Notation.pdf, 2007.
13. J. H. Davenport and P. Libbrecht The Freedom to Extend OpenMath and its Utility (Full Version). http://hdl.handle.net/10247/468, 2008. [This version contains the full OpenMath of the examples.]
14. E. W. Dijkstra. Why numbering should start at zero. http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD831.html, 1982.
15. C. Gross. Re: Utility of OpenMath. E-mail: 64191.89.49.160.232.1172849601.squirrel@webmail.uni-augsburg.de, 2007.
16. D. E. Knuth. Big Omicron and big Omega and big Theta. ACM SIGACT News 2, 8:18-24, 1974.
17. M. Kohlhase, C. Müller, N. Müller. Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge, Proceedings of MathUI 2007 http://www.activemath.org/workshops/MathUI/07/, 2007.
18. M. Kohlhase, C. Lange, F. Rabe. OM Presentation with Flexible Elisions, OpenMath Workshop, Linz, 2007 http://jem-thematic.net/node/164.
19. A. Lazrek. Multilingual Mathematical e-Document Processing. http://www.ima.umn.edu/2006-2007/SW12.8-9.06/activities/Lazrek-Azzeddine/MathArabIMAe.pdf, 2006.
20. A. Levitin. Introduction to the design and analysis of algorithms. Pearson Addison-Wesley, 2007.
21. P. Libbrecht, Content Dictionary Notations, OpenMath Workshop, Linz, 2007 http://jem-thematic.net/node/328.
22. S. Linton. Interfacing with GAP. Talk presented in the Mathematics on the Semantic Web Workshop, Eindhoven, May 12-14 2003 (http://www.openmath.org/meetings/eindhoven2003/index.html), 2003.
23. S. Manzoor, P. Libbrecht, C. Ullrich, and E. Melis. Authoring Presentation for OPENMATH. In M. Kohlhase, editor, Proceedings MKM 2005, pages 33-48, 2005.
24. D.L. McGuinness and F. van Harmelen (eds.), OWL Web Ontology Language Overview, W3C Recommendation 10 Feb 2004.
25. D. L. Mills. Network Time Protocol, Version 3. http://rfc.net/rfc1305.html, 1992.
26. R. Miner and R. Munavalli, An Approach to Mathematical Search Through Query Formulation and Data Normalization, Proceedings of the Mathematical Knowledge Management Conference, Linz, 2007. See http://www.springerlink.com/content/f586745p31j265w4.
27. W. Naylor, S. Watt. Meta Stylesheets for the Conversion of Mathematical Documents into Multiple Forms, Proceedings of Mathematical Knowledge Management Conference 2001. Available at http://www.cs.bath.ac.uk/wn/Papers/MetaMML/metaMML+/index.html.
28. E. Smirnova and S. M. Watt. Interfaces for Mathematical Communication. http://www.ima.umn.edu/2006-2007/SW12.8-9.06/activities/Smirnova-Elena/SmirnovaWatt.pdf, 2006.
29. E. Smirnova and S. M. Watt. Notation Selection in Mathematical Computing Environments. In Proceedings Transgressive Computing 2006, pages 339-355, 2006.
30. N. Soiffer. Accessible Mathematics. http://www.ima.umn.edu/2006-2007/SW12.8-9.06/activities/Soiffer-Neil/index.htm, 2006.
31. Various. LeActiveMath. http://www.activemath.org, 2007.
32. J. von zur Gathen. Irreducibility of multivariate polynomials. J. Computer Syst. Sci., 31:225-264, 1985.
33. D. J. Wheeler. Private Communication to J. H. Davenport. June 1982.
34. World-Wide Web Consortium. Mathematical Markup Language (MathML) Version 2.0 (Second Edition). W3C Recommendation 21 October 2003, 2003. http://www.w3.org/TR/MathML2/.
35. World-Wide Web Consortium. Mathematical Markup Language (MathML) Version 3.0. W3C Working Draft, 2007. http://www.w3.org/TR/2007/WD-MathML3-20070427.