Dear OpenMath community, quite some links to OpenMath software were broken on http://www.openmath.org/software/, so I removed them. Well, actually I commented them. Others are not broken but also need to be replaced or updated. Please find a detailed listing below.
Generally: If you have any OpenMath software that you think is missing on that list, please reply to this mail with a line of text that describes your software, and a link to the project homepage, and state the section of that page in which your software should be listed. Other problems besides broken links are e-mail addresses instead of links, as well as unspecific homepages. Cheers, and thanks, Christoph E-MAIL ADDRESSES: Proper project homepages would be preferable to e-mail addresses. @Stéphane, @Stephen: I will Cc this mail to these e-mail addresses to see if they still work. <li>A phrasebook for Mathematica has been developed by <a href="mailto:[email protected]";>INRIA</a>.</li> <li>STARS/MathWriter: A Java component which takes a simple linear input and generates OpenMath or MathML. For details contact <link uri="mailto:[email protected]";>Stilo Technology</link>.</li> UNSPECIFIC LINKS (still online): The following links are not sufficiently specific; they should be replaced by links that point exactly to the projects: <li> A phrasebook for <a href="http://www.nag.co.uk";>AXIOM 2.3</a> was shipped with the system.</li> <li>Various phrasebooks for GAP, Magma and Mathematica are available from <a href="http://www.riaca.win.tue.nl/products/";>RIACA</a>.</li> <li><link uri="http://www.riaca.win.tue.nl/products/";>An OpenMath Shell</link> for sending OpenMath to a computational engine.</li> <ul> <li><link uri="http://www.riaca.win.tue.nl/products/";>A computation service using GAP</link></li> <li><link uri="http://www.riaca.win.tue.nl/products/";>A computation service using Mathematica</link></li> <li><link uri="http://www.mathweb.org/";>MathWeb</link> is a system for connecting mathematical software systems which speak OMDoc via a common software bus.</li> BROKEN LINKS (commented for now): <li> <link uri="http://www-spi.lip6.fr/foc/index.html";>Foc</link>, a set of certified computer algebra libraries, supports OpenMath. </li> <li> <a href="http://orcca.on.ca/~bill/Tmp/";> An OpenMath Calculator</a> </li> <li> Stylesheet for <link uri="http://www.orcca.on.ca/~clare/om_cmml/src/omtocmml.xsl";>OpenMath to Content MathML</link> Conversion.</li> <li> Stylesheet for <link uri="http://www.orcca.on.ca/~clare/om_cmml/src/cmmltoom.xsl";> Content MathML to OpenMath</link> Conversion.</li> <li> <link uri="http://www.cs.nmsu.edu/~bpalmer/cmml2om/";>XSLT stylesheet</link> for converting Content MathML to OpenMath. </li> <li><link uri="http://www.riaca.win.tue.nl/products/openmath/lib/";>The RIACA OpenMath library</link>, a Java library for creating and using OpenMath objects.</li> <li>OpenMath/OMDoc <link uri="http://www.cs.cmu.edu/~ccaps";> Emacs Mode</link> for creating OpenMath objects.</li> <li><link uri="http://www.mrg.dist.unige.it/~nembo/project.htm";>Logic Broker Architecture</link> is a framework which provides the infrastructure for making mechanized reasoning systems interoperate, which uses OpenMath as the content language. </li> <li><link uri="http://paul.math-inf.uni-greifswald.de/Cathode2/omws/";>The OpenMath Worksheet/Dispatcher</link> is a Java application for providing access to OpenMath-based computational services over the internet. </li> -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
