[Corpora-List] corpus of mathematical equations

[John F. Sowa]

MathML is an XML-based notation that is specifically designed
to mark up the constituents of mathematical equations and other
expressions.

Following is the web site:

    http://www.w3.org/Math/
    W3C Math Home

There has also been a lot of work done on controlled natural
languages for representing mathematical and logical formulas.
Following is a web site that summarizes that work:

    http://www.ics.mq.edu.au/~rolfs/controlled-natural-languages/
    Controlled Natural Languages - Homepage

John Sowa


_______________________________________________
Corpora mailing list
Corpora at uib.no
http://mailman.uib.no/listinfo/corpora