Finding Proofs in Tarskian Geometry

Michael Beeson, Larry Wos. Finding Proofs in Tarskian Geometry. Journal of Automated Reasoning, 58(1):181-207, 2017. [doi]

Abstract

Abstract is missing.