OpenMath Thematic Network Meeting, Bremen 2003

International University of Bremen

November 7-8 2003

The OpenMath Thematic Network held an Open meeting in Bremen on November 7/8, 2003.

###Minutes

The minutes of the meeting are available as plain text.

###Talks (PDF format unless indicated otherwise)

• Andreas Strotmann: Content Markup: principles and consequences.
• Romeo Angelache: Hermes a LaTeX to XML converter and authoring tool (HTML).
• Juergen Zimmer: Brokering of Theorem proving services described in MSDL.</link>
• Tilman Rasy: mmtex (TeX to XML converter) (HTML).
• Mike Dewar: Overview of OpenMath 2.
• Michael Kohlhase: extending OMBIND with a restriction element
• Michael Kohlhase: A proposal from Reinaldo Barr: getting rid of the OMOBJ
• Mike Dewar for James DavenPort: A proposal for DefMPs. There is an accompanying paper.
• Andreas Strotmann: Further proposals for OM2.
• Mika Sepala: WebALT - Web Advanced Learning Technologies.
• Sabina Jeschke: Next generation in e-learning technology: Concepts and visions for Math and Science.
• Paul Libbrecht: Copy and Paste in ActiveMath (HTML).
• David Carlisle for James DavenPort: Units and Dimensions in OpenMath. There is an accompanying paper.