Details of A Critique of OpenMath and Thoughts on Encoding Mathematics
About A Critique of OpenMath and Thoughts on Encoding Mathematics
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.
