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]