April 2002 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Mon Apr 1 01:54:41 CEST 2002
Ending: Fri Apr 26 13:03:53 CEST 2002
Messages: 53

• [om] 'Better' sidebar to OpenMath web site   Jimmy Cerra
• [om] A Proposal for extending OpenMath with structure sharing   Richard Fateman
• [om] A Proposal for extending OpenMath with structure sharing   Richard Fateman
• [om] A Proposal for extending OpenMath with structure sharing   Andrew Solomon
• [om] A Proposal for extending OpenMath with structure sharing   Andreas Strotmann
• [om] A Proposal for extending OpenMath with structure sharing   Andrew Solomon
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   Andrew Solomon
• [om] A Proposal for extending OpenMath with structure sharing   Richard Fateman
• [om] A Proposal for extending OpenMath with structure sharing   Bruce Miller
• [om] A Proposal for extending OpenMath with structure sharing   Richard Fateman
• [om] A Proposal for extending OpenMath with structure sharing   Bruce Miller
• [om] A Proposal for extending OpenMath with structure sharing   Richard Fateman
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   Stephen Watt
• [om] A Proposal for extending OpenMath with structure sharing   Richard Fateman
• [om] A Proposal for extending OpenMath with structure sharing   sal at dcs.st-and.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   Michael Kohlhase
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   Michael Kohlhase
• [om] A Proposal for extending OpenMath with structure sharing   Andreas Strotmann
• [om] A Proposal for extending OpenMath with structure sharing   sal at dcs.st-and.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   Andreas Strotmann
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   Michael Kohlhase
• [om] A Proposal for extending OpenMath with structure sharing   jhd at cs.bath.ac.uk
• [om] A Proposal for extending OpenMath with structure sharing   Michael Kohlhase
• [om] cmml2om.xsl???   Michael Kohlhase
• [om] cmml2om.xsl???   Paul Libbrecht
• [om] cmml2om.xsl???   David Carlisle
• [om] Content Dictionaries vs. XSLT, Schema & Namespaces   Jimmy Cerra
• [om] Content Dictionaries vs. XSLT, Schema & Namespaces   Jimmy Cerra
• [om] New OpenMath Website   Mike Dewar
• [om] Not enough OpenMath at the MathML conference   Stephen Watt
• [om] OMBVAR and related question   David Carlisle
• [om] OMBVAR and related question   jhd at cs.bath.ac.uk
• [om] OMBVAR and related question   Andreas Strotmann
• [om] OMBVAR and related question   Paul Libbrecht
• [om] RE: 'Better' sidebar to OpenMath web site (correction)   Jimmy Cerra
• [om] RE: 'Better' sidebar to OpenMath web site (correction)   Mike Dewar
• [om] result of cubic formula   Richard Fateman
• [om] semantics of structure sharing   Andreas Strotmann
• [om] semantics of structure sharing   Richard Fateman
• [om] semantics of structure sharing   Manfred Riem
• [om] semantics of structure sharing   Steve Braham
• [om] semantics of structure sharing   jhd at cs.bath.ac.uk
• [om] semantics of structure sharing   Jimmy Cerra
• [om] semantics of structure sharing   Richard Fateman
• [om] semantics of structure sharing   Andreas Strotmann
• [om] Stylesheets for MathML <-> OpenMath ?   Paul Libbrecht

Last message date: Fri Apr 26 13:03:53 CEST 2002
Archived on: Thu Oct 20 16:38:15 CEST 2005

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...