From notation to semantics: There and back again

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

Volumn 4108 LNAI, Issue , 2006, Pages 194-207

  Padovani, Luca ^a   Zacchiroli, Stefano ^b  

^a UNIVERSITY OF URBINO   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL TECHNIQUES; THEOREM PROVING;

MATHEMATICAL NOTATION; MKM APPLICATIONS; USABLE INTERFACE;

SEMANTICS;

EID: 33749575964     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11812289_16     Document Type: Conference Paper

References (16)

1. A. A. Adams. Digitisation, representation and formalisation: Digital libraries of mathematics. In J.H. Davenport A. Asperti, B. Buchberger, editor, Proceedings of Mathematical Knowledge Management 2003, volume LNCS, 2594, pages 1-16. Springer-Verlag, 2003.
2. Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena. Mathematical knowledge management in HELM. Annals of Mathematics and Artificial Intelligence, 38(1-3):27-46, May 2003.
3. Lennart Augustsson. Compiling pattern matching. In Jean-Pierre Jouannaud, editor, FPCA 1985: Functional Programming Languages and Computer Architecture, Proceedings, volume 201 of LNCS, pages 368-381. Springer-Verlag, 1985.
4. The Coq proof-assistant, http://coq.inria.fr.
5. M. de Jonge. A pretty-printer for every occasion. In Ian Ferguson, Jonathan Gray, and Louise Scott, editors, Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000), pages 68-77. University of Wollongong, Australia, June 2000.
6. Fabrice Le Fessant and Luc Maranget. Optimizing pattern-matching. In Proceedings of the 2001 International Conference on Functional Programming. ACM Press, 2001.
7. Pietro Di Lena. Generazione automatica di stylesheet per notazione matematica. Master's thesis, University of Bologna, 2003.
8. Mathematical Markup Language (MathML) Version 2.0. W3C Recommendation 21 February 2001, http://www.w3.org/TR/MathML2, 2003.
9. The MoWGLI Proposal, HTML version. http://mowgli.cs.unibo.it/ html_no_frames/project.html.
10. Bill Naylor and Stephen Watt. Meta-stylesheets for the conversion of mathematical documents into multiple forms. Annals of Mathematics and Artificial Intelligence, 38(1-3):3-25, May 2003.
11. Jan Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992.
12. Claudio Sacerdoti Coen. Mathematical Knowledge Management and Interactive Theorem Proving. PhD thesis, University of Bologna, 2004. Technical Report UBLCS 2004-5.
13. Claudio Sacerdoti Coen and Stefano Zacchiroli. Efficient ambiguous parsing of mathematical formulae. In Andrzej Trybulec Andrea Asperti, Grzegorz Bancerek, editor, Proceedings of Mathematical Knowledge Management 2004, volume 3119 of LNCS, pages 347-362. Springer-Verlag, 2004.
14. The OpenMath Society. The OpenMath Standard 2.0. http://www.openmath.org/ standard/om20/omstd20html-0.xml, June 2004.
15. Benjamin Werner. Une Théorie des Constructions Inductives. PhD thesis, Université Paris VII, May 1994.
16. XSL Transformations (XSLT). Version 1.0. W3C Recommendation, 16 November 1999, http://www.w3.org/TR/xslt.