DeepAlgebra - an outline of a program
Artificial Intelligence
2016-10-05 v1 Algebraic Geometry
Abstract
We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic parsers. We describe its application to a repository of human-written facts and definitions in algebraic geometry (The Stacks Project). We use deep learning techniques.
Cite
@article{arxiv.1610.01044,
title = {DeepAlgebra - an outline of a program},
author = {Przemyslaw Chojecki},
journal= {arXiv preprint arXiv:1610.01044},
year = {2016}
}
Comments
6 pages, https://przchojecki.github.io/deepalgebra/