DeepAlgebra - an outline of a program

October 04, 2016 · Entered Twilight · 🏛 International Conference on Intelligent Computer Mathematics

"No code URL or promise found in abstract"
"Derived repo from GitHub Pages (backfill)"

Evidence collected by the PWNC Scanner

Repo contents: DeepAlgebra_TYPE_tagging.py, LICENSE, README.md, deepalgebra.pdf, get_tex_files.sh, images, javascripts, params.json, rule_based-iter0.ipynb, rule_based-iter1.ipynb, rule_based.ipynb, stylesheets, tex_files, tex_urls.txt

Authors Przemyslaw Chojecki arXiv ID 1610.01044 Category cs.AI: Artificial Intelligence Cross-listed math.AG Citations 4 Venue International Conference on Intelligent Computer Mathematics Repository https://github.com/przchojecki/deepalgebra ⭐ 25 Last Checked 1 month ago

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.