Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
From MaRDI portal
Publication:2354917
DOI10.1007/s10472-014-9443-5zbMath1327.68206WikidataQ113904583 ScholiaQ113904583MaRDI QIDQ2354917
Predrag Janičić, Julien Narboux, Sana Stojanović Đurđević
Publication date: 27 July 2015
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01091011/file/AFTarski.pdf
03B35: Mechanization of proofs and logical operations
Uses Software