2008 |
16 | EE | 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 | EE | Peter Lebmeir,
Jürgen Richter-Gebert:
Recognition of Computationally Constructed Loci.
Automated Deduction in Geometry 2006: 52-67 |
2004 |
14 | EE | 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 | EE | Ulrich Kortenkamp,
Jürgen Richter-Gebert:
Decision Complexity in Dynamic Geometry.
Automated Deduction in Geometry 2000: 193-198 |
11 | EE | 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 | EE | 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 | EE | Jürgen Richter-Gebert:
Finding Small Triangulations of Polytope Boundaries Is Hard.
Discrete & Computational Geometry 24(2-3): 503-518 (2000) |
1997 |
8 | EE | 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 | EE | 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) |