Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs

DOI10.1007/978-3-642-40672-0_12zbMath1396.68115OpenAlexW2164178488MaRDI QIDQ2849515

Sana Stojanović

Publication date: 20 September 2013

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40672-0_12

zbMATH Keywords

automated theorem provingcoherent logicaxiom reformulationformal theorem provingpredicate symmetry

Mathematics Subject Classification ID

This page was built for publication: Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs