OpenMath is an extensible standard for representing the semantics of mathematical objects.
OpenMath is an extensible standard for representing the semantics of mathematical objects.
Various parts of OpenMath are currently under development by members of the OpenMath Society. Most of the development is organized publicly via our GitHub Group, where some notable repositories are:
Please feel free to contribute by opening issues, contributing fixes or extensions via merge requests, or contributing OpenMath-related software (we will be happy to give you a repository for that).
The OpenMath Workshop 2017 determined that the focus of development should be on extending the supply of content dictionaries and language integrations to fix OpenMath’s birth defect of not having a credible supply. Consequently extending the OpenMath Standard (OM Objects and OM Content Dictionaries are deprioritized for the coming years, but we continue to collect extensions proposals.
The current set of projects is