A

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.
⭐ 用户评价

暂无评价


发表评价