# Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry

> Research article (Annals of Mathematics and Artificial Intelligence, 2015) · cited 21× · AI/ML

**Wikidata**: [openalex:W2148169424](https://www.wikidata.org/wiki/openalex:W2148169424)  
**Source**: https://4ort.xyz/entity/automated-generation-of-machine-verifiable-and-readable-proofs-a-case-study-of-tarskis-geometry