> >

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.

Keyword Results for
this URL
Total
searches