👤

Jürgen Richter-Gebert

6 books

Books by Jürgen Richter-Gebert

Cinderella. 2 Manual
Cinderella. 2 Manual
2016
Geometriekalküle
Geometriekalküle
2009
Automated Deduction in Geometry
Automated Deduction in Geometry
2004
Benutzerhandbuch Für Die Interaktive Geometrie-Software
Benutzerhandbuch Für Die Interaktive Geometrie-Software
2001
Realization Spaces of Polytopes
Realization Spaces of Polytopes
1996
On the realizability problem o
On the realizability problem of combinatorial geometries
1992