MOWGLI – an approach to machine-understandable representation of the mathematical information in digital documents

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

Volumn 2730, Issue , 2003, Pages 14-23

  Asperti, Andrea ^a   Wegner, Bernd ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COORDINATION REACTIONS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE MANAGEMENT; MATHEMATICAL TRANSFORMATIONS;

GRAVITATIONAL PHYSICS; INFORMATION SOCIETY TECHNOLOGIES; INTELLIGENT APPLICATIONS; MATHEMATICAL INFORMATION; MATHEMATICAL KNOWLEDGE; MATHEMATICAL KNOWLEDGE MANAGEMENT; MAX PLANCK INSTITUTE; TECHNOLOGICAL INFRASTRUCTURE;

DIGITAL LIBRARIES;

EID: 33745164956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45155-6_2     Document Type: Conference Paper

References (18)

1. The Dublin Core Metadata Inititiative. http://purl.org/dc/
2. Living Reviews in Relativity. http://www.livingreviews.org
3. Mathematical Markup Language (MathML) 2.0 W3C Recommendation, 21 February 2001. http://www.w3.org/TR/MathML2/
4. Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation 22 February 1999. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/
5. Resource Description Framework (RDF) Schema Specification 1.0,W3C Candidate Recommendation 27 March 2000. http://www.w3.org/TR/rdf-schema/
6. SOAP Version 1.2 Part 0: Primer. W3C Working Draft 17 December 2001. http://www.w3.org/TR/2001/WD-soap12-part0-20011217
7. Extensible Markup Language (XML) Specification. Version 1.0. W3C Recommendation, 10 February 1998. http://www.w3.org/TR/REC-xml
8. XSL Transformations (XSLT). Version 1.0, W3C Recommendation, 16 November 1999. http://www.w3.org/TR/xslt
9. Asperti, A., Padovani, L., Sacerdoti Coen C., Schena, I.: Formal Mathematics in MathML. Proceedings of the First International Conference on MathML and Math on the Web, October 20-21 2000, University of Illinois at Urbana-Champaign
10. Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: Formal Mathematics on the Web. Proceedings of the Eighth International Conference on Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation, June 9-17, 2001, Sudak, Autonomous Republic of Crimea, Ukraine
11. Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: XML, Stylesheets and the re-mathematization of Formal Content. Proceedings of Extreme Markup Languages 2001 Conference, August 12-17, 2001, Montréal, Canada
12. Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: HELM and the semantic Math-Web. Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLS 2001), 3-6 September 2001, Edinburgh, Scotland
13. Barras, B. et al.: The Coq Proof Assistant Reference Manual, version 6.3.1, http://pauillac.inria.fr/coq
14. Tim Berner’s Lee: The Semantic Web. W3C Architecture Note, 1998
15. Huet, G., Plotkin, G. (eds): Logical Frameworks. Cambridge University Press 1991
16. Huet, G., Plotkin, G. (eds): Logical Environments. Cambridge University Press 1993
17. Kohlase, M.: OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge. Proceedings of Artificial Intelligence and Symbolic Computation, Springer LNAI, 2000
18. Kohlase, M.: OMDoc: An Infrastructure for OpenMath Content Dictionary Information. Bulletin of the ACM Special Interest Group for Algorithmic Mathematics SIGSAM, 2000