[Om] OpenMath software page: removed dead links; please advertise your tools

Christoph LANGE ch.lange at jacobs-university.de
Thu Oct 21 23:36:15 CEST 2010

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,



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:stephane.dalmas at sophia.inria.fr">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:sb at stilo.com">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>
<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
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

<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><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.

Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20101021/6f73210d/attachment.pgp 

More information about the Om mailing list