[knowledge base]
PRESHEAF and its underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/2y5s4
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 201, 2021 [HY]
[knowledge base]
PRESHEAF and its underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/2y5s4
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 201, 2021 [HY]
[white paper]
We present a project to be deployed in Python to serve as a powerful auxiliar tool for theorem proving. In the future, it can be turned into a programming language in its own right.
https://doi.org/10.31219/osf.io/6gyq4
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 2, Article 195, 2020 [HR]
[white paper]
We propose a new numeric identifier, dubbed International Standard Database Number (ISDN) to devise a new ecosystem of scientific publications based on databases and curated by specialists.
https://doi.org/10.31219/osf.io/3c6fe
Open Collaboration
Op. J. Math. Phys.
Volume 2, Article 131, 2020 [FB]
[original insight]
We present the STR simple rules to build a knowledge base with all scientific knowledge.
https://doi.org/10.31219/osf.io/pwvzt
Open Collaboration
Op. J. Math. Phys.
Volume 2, Article 110, 2020 [EG]
[original insight]
This paper is about highlighting two categories of knowledge bases, one built as a repository of links, and the other, based on units of knowledge.
https://doi.org/10.31219/osf.io/7vayt
Open Collaboration
Op. J. Math. Phys.
Volume 2, Article 104, 2020 [EA]