[Om] OpenMath on the Web?

[Michael Kohlhase]

Dear all,

we are developing a web search engine for OpenMath objects (it already 
works for content MathML; see the prototype at 
http://kwarc.eecs.iu-bremen.de/software/mmlsearch/site/ NOTE the URL 
will change).

For indexing OpenMath we would need large amounts of web-accessible 
OpenMath objects. Of course, we have  the obvious sites

The OpenMath web site http://www.openmath.org
 
The OMDoc repository
https://svn.mathweb.org/repos/mathweb.org/trunk/omdoc/examples

Do you know of more? If so, please tell us

If you know any content MathML on the web, please also notify us as well.

Michael

-- 
-------------------------------------------------------------------------
   Prof. Dr. Michael Kohlhase,         Office: Research 1, Room 62 
   Professor for Computer Science      Campus Ring 12, 
   School of Engineering & Science     D-28758 Bremen, Germany
   International University Bremen     tel/fax: +49 421 200-3140/-493140
   http://www.faculty.iu-bremen.de/mkohlhase <m.kohlhase at iu-bremen.de>          
--------------------------------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: m.kohlhase.vcf
Type: text/x-vcard
Size: 346 bytes
Desc: not available
Url : http://openmath.org/pipermail/om/attachments/20060429/7e1e8a35/m.kohlhase.vcf