Realization spaces of polytopes J Richter-Gebert Springer, 1996 | 305* | 1996 |
interactive geometry software. Cinderella. Version 1.2 [The] J Richter-Gebert, UH Kortenkamp Springer, 1999 | 243* | 1999 |
User Manual for The Interactive Geometry Software Cinderella J Richter-Gebert, UH Kortenkamp Springer Science & Business Media, 2000 | 242* | 2000 |
15 BASIC PROPERTIES OF CONVEX POLYTOPES M Henk, J Richter-Gebert, GM Ziegler | 227* | 1995 |
Oriented matroids J Richter-Gebert, GM Ziegler TU, Fachbereich 3 Math., 1995 | 107* | 1995 |
Realization spaces of 4-polytopes are universal J Richter-Gebert, GM Ziegler Bulletin of the American Mathematical Society 32 (4), 403-412, 1995 | 102 | 1995 |
Perspectives on projective geometry: a guided tour through real and complex geometry J Richter-Gebert Springer Science & Business Media, 2011 | 99 | 2011 |
Zonotopal tilings and the Bohne-Dress theorem J Richter-Gebert, GM Ziegler Contemporary Mathematics 178, 211-211, 1994 | 69 | 1994 |
Mnëv’s universality theorem revisited J Richter-Gebert Séminaire Lotaringien de Combinatoire, 1995 | 61 | 1995 |
The Cinderella. 2 Manual: Working with The Interactive Geometry Software J Richter-Gebert, UH Kortenkamp Springer Science & Business Media, 2012 | 57 | 2012 |
Mechanical theorem proving in projective geometry J Richter-Gebert Annals of Mathematics and Artificial Intelligence 13 (1-2), 139-172, 1995 | 55 | 1995 |
Oriented matroids with few mutations J Richter-Gebert Discrete & Computational Geometry 10 (3), 251-269, 1993 | 53 | 1993 |
Using automatic theorem proving to improve the usability of geometry software U Kortenkamp, J Richter-Gebert Proceedings of MathUI 2004, 2004 | 48 | 2004 |
Automatic proving of geometric theorems H Crapo, J Richter-Gebert Invariant Methods in Discrete and Computational Geometry, 167-196, 1995 | 45 | 1995 |
Extremal properties of 0/1-polytopes UH Kortenkamp, J Richter-Gebert, A Sarangarajan, GM Ziegler Discrete & Computational Geometry 17 (4), 439-448, 1997 | 43 | 1997 |
Rotations, translations and symmetry detection for complexified curves P Lebmeir, J Richter-Gebert Computer Aided Geometric Design 25 (9), 707-719, 2008 | 39 | 2008 |
Hyperbolization of euclidean ornaments M von Gagern, J Richter-Gebert Electronic Journal of Combinatorics 16 (2), R12, 2009 | 36 | 2009 |
Reviews-CINDERELLA: THE INTERACTIVE GEOMETRY SOFTWARE J Richter-Gebert, UH Kortenkamp, G Barequet Mathematical Intelligencer 24 (4), 74-77, 2002 | 36* | 2002 |
On the realizability problem of combinatorial geometries--Decision methods Technische Hochschule Darmstadt. Fachbereich Mathematik, ... | 36 | 1992 |
Mathematical Visualization on Modern Devices M von Gagern, U Kortenkamp, J Richter-Gebert Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016 | 32* | 2016 |