Annals of Mathematics and Artificial Intelligence, Volume 85

Volume 85, Number 1, January 2019

Volume 85, Numbers 2-4, April 2019

Formalization of Geometry, Automated and Interactive Geometric Reasoning
a service of Schloss Dagstuhl - Leibniz Center for Informatics