Directory: Top/Computers/Data_Formats/Markup_Languages/Mathematical/OpenMath

Top / Computers / Data_Formats / Markup_Languages / Mathematical / OpenMath /

The North American OpenMath Initiative (NAOMI)
North American companies and universities join to advance the development and use of OpenMath.
http://naomi.math.ca/
Math.ca ~ Site Info Whois Trace Route RBL Check

Java OpenMath Libraries
OpenMath Java classes and XML
http://sourceforge.net/projects/omlib/
Sourceforge.net ~ Site Info Whois Trace Route RBL Check

OpenMath.org
Content dictionaries, software, mailing lists and resources.
http://www.openmath.org/
Openmath.org ~ Site Info Whois Trace Route RBL Check

OpenMath XML DTD
Document Type Definition document for OpenMath objects.
http://xml.coverpages.org/omobj-dtd.txt
Coverpages.org ~ Site Info Whois Trace Route RBL Check

A Critique of OpenMath and Thoughts on Encoding Mathematics
Open issues regarding OpenMath; a call for real-world applications to vet OpenMath. By Richard Fateman.
http://www.cs.berkeley.edu/~fateman/papers/openmathcrit.pdf
Berkeley.edu ~ Site Info Whois Trace Route RBL Check

Wikipedia: OpenMath
Overview, history and examples of OpenMath.
http://en.wikipedia.org/wiki/OpenMath
Wikipedia.org ~ Site Info Whois Trace Route RBL Check

Perl OpenMath to LaTeX Converter
Converts OpenMath to LaTeX. Includes a demo converter, Perl source and documentation.
http://www.maths.tcd.ie/~dwmalone/om2la.html
Tcd.ie ~ Site Info Whois Trace Route RBL Check

MathDox Interactive Mathematics
Open Source Math Libraries and Products by Research Institute for Applications of Computer Algebra. Includes OpenMath Java tools, JSP Taglibs and documentation.
http://www.mathdox.org/
Mathdox.org ~ Site Info Whois Trace Route RBL Check

MathWeb Search
A semantic search engine for web content based on OpenMath and MathML expressions. View Examples for a demonstration of use.
http://search.mathweb.org/
Mathweb.org ~ Site Info Whois Trace Route RBL Check