Reading Length
Home
Speed Tests
Login
Jürgen Richter-Gebert
Identifiers
Open Library
OL3179030A
Top Subjects
Geometrie (2)
Geometry - General (1)
Mathematics (1)
Computer Science (1)
Logic (1)
Mathematics / Geometry / General (1)
interaktive Geometrie (1)
Books by Jürgen Richter-Gebert
Total count: 9
On the realizability problem of combinatorial geometries
decision methods
1992-01-01
User Manual for the Interactive Geometry Software Cinderella
Island Press
2000-01-01
Benutzerhandbuch für die interaktive Geometrie-Software Cinderella
Version 1.2 edition
Springer
2001-01-01
Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Springer London, Limited
2006-01-01
Realization Spaces of Polytopes
Springer London, Limited
2006-01-01
Geometriekalküle
Springer
2009-01-01
Automated Deduction in Geometry
8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Springer
2011-01-01
Cinderella. 2 Manual
Working with the Interactive Geometry Software
Springer Berlin / Heidelberg
2016-01-01
Perspectives on Projective Geometry
A Guided Tour Through Real and Complex Geometry
Springer Berlin / Heidelberg
2016-01-01
