Dataset - CKAN

Developing System MathNat for Automatic Formalization of Mathematical texts

There is a wide gap between the language of mathematics and itsformalized versions. The term "language of mathematics" or"mathematical language" refers to prose that...
- HTML

You can also access this registry using the API (see API Docs).