OpenMath是用于表示数学对象语义的可扩展标准。
https://openmath.org
OpenMath提供了表示数学语义的可扩展标准对象,并在软件系统之间进行通信。
阅读更多…关于OpenPath(OpenPath)和OpenMath协会