10 Years of OpenMath

OpenMath Thematic Network Meeting

University of Helsinki

Lecture Hall PIV, Porthania Building

May 21-22, 2004

Friday, May 21, 2004

Mika Seppälä, University of Helsinki and Florida State University:  Opening of the meeting, History of OpenMath

Robert Miner, Design Science: Trends in MathML Usage

Patrick Ion, Mathematical Reviews: Markup of and for Mathematics: Ten years of trials

Andreas Strotmann, University of Cologne: OpenMath Objectives Accomplished

Mike Dewar, NAG:  Finalising the OpenMath 2 Standard

Michael Kohlhase, IU Bremen: OM2 binary encoding

Discussion chaired by David Carlisle,  NAG: Summary

Saturday, May 22, 2004

Bruce Miller, NIST: Digital Library of Mathematical Functions: LaTeX, MathML and ... OpenMath?

Arjeh Cohen, TU/e: OpenMath issues arising from “Algebra Interactive”

Stephen Watt, University of Western Ontario, ORCCA project : The Role of OpenMath in High-Level Semantic Correspondences for Mathematics

Paul Libbrecht, DFKI Saarbrücken, ActiveMath project: Research in the ActiveMath Project: Pedagogy, Mathematics, Web!

Meeting organized and supported by the OpenMath Thematic Network and by the Department of Mathematics and Statistics, University of Helsinki.