OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model

Open in new window