Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Ðurđević, Sana Stojanović, Narboux, Julien, Janičić, PredragVolume:
74
Langue:
english
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/s10472-014-9443-5
Date:
August, 2015
Fichier:
PDF, 802 KB
english, 2015