![](https://media.springernature.com/w90/springer-static/cover/journal/10472/85/2.jpg?as=webp)
Volume 85, Issue 2-4
April 2019Formalization of Geometry, Automated and Interactive Geometric Reasoning
9 articles in this issue
Formalization of Geometry, Automated and Interactive Geometric Reasoning