HELM and the semantic math-web

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

Volumn 2152, Issue , 2001, Pages 59-74

  Asperti, Andrea ^a   Padovani, Luca ^a   Coen, Claudio Sacerdoti ^a   Schena, Irene ^a  

^a Department of Computer Science ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL LIBRARIES; FORMAL LOGIC; HYPERTEXT SYSTEMS; THEOREM PROVING; XML;

BASIC RULES; EXTENSIBLE MARK-UP LANGUAGE (XML); LOGICAL FRAMEWORKS; MATHEMATICAL KNOWLEDGE; SEMANTIC MATHS; WEBPUBLISHING; XML TECHNOLOGY;

SEMANTIC WEB;

EID: 84949522459     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-44755-5_6     Document Type: Article

References (17)

1. Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I., “Towards a libraryof formal mathematics”. Panel session of the 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLS’2000), Portland, Oregon, USA
2. Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I., “XML, Stylesheets and the re-mathematization of Formal Content”, Department of Computer Science, Bologna, Italy, May 2000
3. Barras, B., et al., “The Coq Proof Assistant Reference Manual, version 6.3.1”, http://pauillac.inria.fr/coq/
4. Coscoy Y., Kahn, G., Thery, L., Extracting Text from Proofs. Technical Report RR-2459, INRIA Sophia Antipolis
5. Coscoy, Y., “Explication textuelle de preuves pour le Calcul des Constructions Inductives”, Phd. Thesis, Université de Nice-Sophia Antipolis, 2000
6. Berners-Lee, T., “Universal Resource Identifiers in WWW”, RFC 1630, CERN, June 1994
7. Extensible Markup Language (XML) (Second Edition). Version 1.0. W3C Recommendation, 6 October 2000. http://www.w3.org/TR/REC-xml
8. Mathematical Markup Language (MathML). Version 2.0. W3C Recommendation, 21 February2001. http://www.w3.org/TR/MathML2/
9. Namespaces in XML. W3C Recommendation, 14 January1999. http://www.w3.org/TR/REC-xml-names/
10. Open Mathematical Documents (OMDoc) 1.0, November 1 2000. http://www.mathweb.org/omdoc/
11. Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation 22 February1999. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/
12. Resource Description Framework (RDF) Schema Specification 1.0, W3C Candidate Recommendation 27 March 2000. http://www.w3.org/TR/rdf-schema/
13. Simple Object Access Protocol (SOAP). Version 1.1. W3C Note, 8 May2000. http://www.w3.org/TR/SOAP/
14. XML Linking Language (XLink). Version 1.0. W3C Proposed Recommendation, 20 December 2000. http://www.w3.org/TR/xlink/
15. XML Pointer Language (XPointer). Version 1.0. W3C Working Draft (Last Call), 8 January2001. http://www.w3.org/TR/xptr/
16. XML Path Language (XPath). Version 1.0, W3C Recommendation, 16 November 1999. http://www.w3.org/TR/xpath
17. XSL Transformations (XSLT). Version 1.0, W3C Recommendation, 16 November 1999. http://www.w3.org/TR/xslt/