Re: Math Notations, Computer Languages, and the “Form” in Formalism

fortunatus daniel.eliason at excite.com
Tue Sep 8 22:09:23 CEST 2009


On Sep 7, 3:06 pm, Xah Lee <xah... at gmail.com> wrote:
...
> • systems for displaying math, such as TeX, Mathematica, MathML,
> should be unified as part of the computer language's syntax.
...
>
to that end you might be interested in Fortress at Sun:

http://projectfortress.sun.com/Projects/Community
http://research.sun.com/projects/plrg/fortress.pdf
http://research.sun.com/spotlight/2007/2007-01-10_fortress.html



More information about the Python-list mailing list