On the Distribution of Order Types. - Jürgen Bokowski; Jürgen Richter-Gebert; Werner Schindler (Comput. Geom., 1991)

A new Sylvester-Gallai configuration representing the 13-point projective plane in R4. - Jürgen Bokowski; Jürgen Richter-Gebert (J. Comb. Theory B, 1992)

Euclideaness and final polynomials. - Jürgen Richter-Gebert (Comb., 1993)

Two Constructions of Oriented Matroids with Disconnected Extension Space. - Nicolai E. Mnëv; Jürgen Richter-Gebert (Discret. Comput. Geom., 1993)

Oriented Matroids with Few Mutations. - Jürgen Richter-Gebert (Discret. Comput. Geom., 1993)

Combinatorial Obstructions to the Lifting of Weaving Diagrams. - Jürgen Richter-Gebert (Discret. Comput. Geom., 1993)

Mechanical Theorem Proving in Projective Geometry. - Jürgen Richter-Gebert (Ann. Math. Artif. Intell., 1995)

Extremal Properties of 0/1-Polytopes. - Ulrich Kortenkamp; Jürgen Richter-Gebert; Aravamuthan Sarangarajan; Günter M. Ziegler (Discret. Comput. Geom., 1997)

Decision Complexity in Dynamic Geometry. - Ulrich Kortenkamp; Jürgen Richter-Gebert (Automated Deduction in Geometry, 2000)

Finding minimal triangulations of convex 3-polytopes is NP-hard. - Alexander Below; Jesús A. De Loera; Jürgen Richter-Gebert (SODA, 2000)

Minimal Simplicial Dissections and Triangulations of Convex 3-Polytopes. - Alexander Below; Ulrich Brehm; Jesús A. De Loera; Jürgen Richter-Gebert (Discret. Comput. Geom., 2000)

Finding Small Triangulations of Polytope Boundaries Is Hard. - Jürgen Richter-Gebert (Discret. Comput. Geom., 2000)

The complexity of finding small triangulations of convex 3-polytopes. - Alexander Below; Jesús A. De Loera; Jürgen Richter-Gebert (J. Algorithms, 2004)

Basic Properties of Convex Polytopes. - Martin Henk; Jürgen Richter-Gebert; Günter M. Ziegler (Handbook of Discrete and Computational Geometry, 2nd Ed., 2004)

Oriented Matroids. - Jürgen Richter-Gebert; Günter M. Ziegler (Handbook of Discrete and Computational Geometry, 2nd Ed., 2004)

Recognition of Computationally Constructed Loci. - Peter Lebmeir; Jürgen Richter-Gebert (Automated Deduction in Geometry, 2006)

Rotations, translations and symmetry detection for complexified curves. - Peter Lebmeir; Jürgen Richter-Gebert (Comput. Aided Geom. Des., 2008)

Every non-Euclidean oriented matroid admits a biquadratic final polynomial. - Komei Fukuda; Sonoko Moriyama; Hiroki Nakayama; Jürgen Richter-Gebert (Comb., 2009)

Hyperbolization of Euclidean Ornaments. - Martin von Gagern; Jürgen Richter-Gebert (Electron. J. Comb., 2009)

Diagrams, Tensors and Geometric Reasoning. - Jürgen Richter-Gebert; Peter Lebmeir (Discret. Comput. Geom., 2009)

Cancellation Patterns in Automatic Geometric Theorem Proving. - Susanne Apel; Jürgen Richter-Gebert (Automated Deduction in Geometry, 2010)

Cayley-Bacharach Formulas. - Qingchun Ren; Jürgen Richter-Gebert; Bernd Sturmfels (Am. Math. Mon., 2015)

CindyJS - Mathematical Visualization on Modern Devices. - Martin von Gagern; Ulrich Kortenkamp; Jürgen Richter-Gebert; Michael Strobel (ICMS, 2016)

CindyJS Plugins - Extending the Mathematical Visualization Framework. - Martin von Gagern; Jürgen Richter-Gebert (ICMS, 2016)

CindyGL: Authoring GPU-Based Interactive Mathematical Content. - Aaron Montag; Jürgen Richter-Gebert (ICMS, 2016)

Bringing Together Dynamic Geometry Software and the Graphics Processing Unit. - Aaron Montag; Jürgen Richter-Gebert (CoRR, 2018)

Students' coping with the self-regulatory demand of crisis-driven digitalization in university mathematics instruction: do motivational and emotional orientations make a difference? - Frank Reinhold; Christian Schons; Sarah Scheuerer; Peter Gritzmann; Jürgen Richter-Gebert; Kristina M. Reiss (Comput. Hum. Behav., 2021)

The Smooth Power of the "Neandertal Method". - Aaron Montag; Tim Reinhardt; Jürgen Richter-Gebert (CoRR, 2025)