[Om] OpenMath software page: removed dead links; please advertise your tools
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
<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
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
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
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
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