HomeOverviewDocumentsContent DictionariesSoftware & ToolsThe OpenMath SocietyOpenMath ProjectsOpenMath Discussion ListsOpenMath MeetingsLinks


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.


HomeOverviewDocumentsContent DictionariesSoftware & ToolsThe OpenMath SocietyOpenMath ProjectsOpenMath Discussion ListsOpenMath MeetingsLinks


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