Formalization of geometry, automated and interactive geometric reasoning

Zoltán Kovács, Predrag Janicic. Formalization of geometry, automated and interactive geometric reasoning. Annals of Mathematics and Artificial Intelligence, 91(6):751-752, December 2023. [doi]

Abstract

Abstract is missing.