Presheaf (of abelian groups) on a topological space

[knowledge base]

DOWNLOAD

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]

Searching for new theorems in M: a pure mathematical programming language

DOWNLOAD

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]

Advertisement

ISDN: International Standard Database Number (white paper)

DOWNLOAD

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]

Universal Knowledge Base

[original insight]

DOWNLOAD

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]

Open Knowledge Base: Resources and Units of Knowledge

[original insight]

DOWNLOAD

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]