Home Overview Documents Content Dictionaries Software & Tools The OpenMath Society OpenMath Projects OpenMath Discussion Lists OpenMath Meetings Links



10 Years of OpenMath

University of Helsinki
May 21-22, 2004


History of OpenMath Mika Seppälä University of Helsinki and Florida State University
Trends in MathML Usage Robert Miner Design Science
Markup of and for Mathematics: Ten years of trials Patrick Ion Mathematical Reviews
OpenMath Objectives Accomplished Andreas Strotmann University of Cologne
Finalising the OpenMath 2 Standard Mike Dewar NAG Ltd.
OM2 binary encoding Michael Kohlhase IU Bremen
Discussion (Summary) David Carlisle NAG Ltd.
Digital Library of Mathematical Functions: LaTeX, MathML and ... OpenMath? Bruce Miller NIST
OpenMath issues arising from `Algebra Interactive' Arjeh Cohen TU/e
The Role of OpenMath in High-Level Semantic Correspondences for Mathematics Stephen Watt University of Western Ontario
Research in the ActiveMath Project: Pedagogy, Mathematics, Web! Paul Libbrecht DFKI Saarbrucken

This meeting was organised and supported by the OpenMath Thematic Network and by the Department of Mathematics and Statistics, University of Helsinki.


Home Overview Documents Content Dictionaries Software & Tools The OpenMath Society OpenMath Projects OpenMath Discussion Lists OpenMath Meetings Links


© The OpenMath Society 2001–2012
Maintained by the OpenMath Infrastructure Team