Plagiator — A learning prover

DOI10.1007/3-540-63104-6_24zbMath1430.68414OpenAlexW1568014907MaRDI QIDQ5234707

Thomas Kolbe, Jürgen Brauburger

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_24

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Proving theorems by reuse ⋮ On terminating lemma speculations.

Uses Software

• PLAGIATOR
• KIV
• InKa
• ABSFOL

Cites Work

• Termination of theorem proving by reuse
• ABSFOL: A proof checker with abstraction
• INKA: The next generation
• Ωmega: Towards a mathematical assistant

This page was built for publication: Plagiator — A learning prover