Books by Jürgen Richter-Gebert
Automated deduction in geometry
2001
Perspectives on Projective Geometry
2011
The Cinderella.2 Manual
2012
Realization Spaces of Polytopes
2006
Geometriekalküle
2009
Can't find the book you're looking for? Let us know — it helps us improve.