Follow
📣 OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model. (arXiv:2303.13542v1 [cs.AI]) http://arxiv.org/abs/2303.13542
📣 OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model. (arXiv:2303.13542v1 [cs.AI]) http://arxiv.org/abs/2303.13542