 | 2009 |
|---|
| 17 |       | Jürgen Richter-Gebert,
Peter Lebmeir:
Diagrams, Tensors and Geometric Reasoning.
Discrete & Computational Geometry 42(2): 305-334 (2009) |
| 2008 |
|---|
| 16 | | Peter Lebmeir,
Jürgen Richter-Gebert:
Rotations, translations and symmetry detection for complexified curves.
Computer Aided Geometric Design 25(9): 707-719 (2008) |
| 2006 |
|---|
| 15 | | Peter Lebmeir,
Jürgen Richter-Gebert:
Recognition of Computationally Constructed Loci.
Automated Deduction in Geometry 2006: 52-67 |
| 2004 |
|---|
| 14 | | Alexander Below,
Jesús A. De Loera,
Jürgen Richter-Gebert:
The complexity of finding small triangulations of convex 3-polytopes.
J. Algorithms 50(2): 134-167 (2004) |
| 2001 |
|---|
| 13 |  | Jürgen Richter-Gebert,
Dongming Wang:
Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Springer 2001 |
| 2000 |
|---|
| 12 | | Ulrich Kortenkamp,
Jürgen Richter-Gebert:
Decision Complexity in Dynamic Geometry.
Automated Deduction in Geometry 2000: 193-198 |
| 11 | | Alexander Below,
Jesús A. De Loera,
Jürgen Richter-Gebert:
Finding minimal triangulations of convex 3-polytopes is NP-hard.
SODA 2000: 65-66 |
| 10 | | Alexander Below,
Jesús A. De Loera,
Jürgen Richter-Gebert:
Minimal Simplicial Dissections and Triangulations of Convex 3-Polytopes.
Discrete & Computational Geometry 24(1): 35-48 (2000) |
| 9 | | Jürgen Richter-Gebert:
Finding Small Triangulations of Polytope Boundaries Is Hard.
Discrete & Computational Geometry 24(2-3): 503-518 (2000) |
| 1997 |
|---|
| 8 | | Ulrich Kortenkamp,
Jürgen Richter-Gebert,
A. Sarangarajan,
Günter M. Ziegler:
Extremal Properties of 0/1-Polytopes.
Discrete & Computational Geometry 17(4): 439-448 (1997) |
| 1995 |
|---|
| 7 | | Jürgen Richter-Gebert:
Mechanical Theorem Proving in Projective Geometry.
Ann. Math. Artif. Intell. 13(1-2): 139-172 (1995) |
| 1993 |
|---|
| 6 | | Jürgen Richter-Gebert:
Euclideaness and final polynomials.
Combinatorica 13(3): 259-268 (1993) |
| 5 | | Jürgen Richter-Gebert:
Oriented Matroids with Few Mutations.
Discrete & Computational Geometry 10: 251-269 (1993) |
| 4 | | Nicolai E. Mnëv,
Jürgen Richter-Gebert:
Two Constructions of Oriented Matroids with Disconnected Extension Space.
Discrete & Computational Geometry 10: 271-285 (1993) |
| 3 | | Jürgen Richter-Gebert:
Combinatorial Obstructions to the Lifting of Weaving Diagrams.
Discrete & Computational Geometry 10: 287-312 (1993) |
| 1992 |
|---|
| 2 | | Jürgen Bokowski,
Jürgen Richter-Gebert:
A new Sylvester-Gallai configuration representing the 13-point projective plane in R4.
J. Comb. Theory, Ser. B 54(1): 161-165 (1992) |
| 1991 |
|---|
| 1 | | Jürgen Bokowski,
Jürgen Richter-Gebert,
Werner Schindler:
On the Distribution of Order Types.
Comput. Geom. 1: 127-142 (1991) |
