Deepalgebra -- an outline of a program

DOI10.1007/978-3-319-62075-6_1zbMath1367.68247arXiv1610.01044OpenAlexW2529124776MaRDI QIDQ2364671

Przemysław Chojecki

Publication date: 21 July 2017

Full work available at URL: https://arxiv.org/abs/1610.01044

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Uses Software

• Coq
• Mizar
• E Theorem Prover
• DeepMath
• CoqHammer

Cites Work

• Unnamed Item
• MizAR 40 for Mizar 40
• Recycling proof patterns in Coq: case studies
• System Description: E 1.8
• Mizar: State-of-the-art and Beyond
• Theorem Proving in Large Formal Mathematics as an Emerging AI Field
• A Machine-Checked Proof of the Odd Order Theorem

This page was built for publication: Deepalgebra -- an outline of a program