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.68206OpenAlexW2148169424WikidataQ113904583 ScholiaQ113904583MaRDI QIDQ2354917

Sana Stojanović Đurđević, Predrag Janičić, Julien Narboux

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



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (9)


Uses Software


Cites Work


This page was built for publication: Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry