Jürgen Richter-Gebert

31 papers A* 1Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Manifold-based Proving Methods in Projective Geometry.
CoRR
Michael Martin Katzenberger, Jürgen Richter-Gebert
2025 J jnl
The Smooth Power of the "Neandertal Method".
CoRR
Aaron Montag, Tim Reinhardt, Jürgen Richter-Gebert
2021 J jnl
Students' coping with the self-regulatory demand of crisis-driven digitalization in university mathematics instruction: do motivational and emotional orientations make a difference?
Comput. Hum. Behav.
Frank Reinhold, Christian Schons, Sarah Scheuerer, Peter Gritzmann, Jürgen Richter-Gebert, Kristina M. Reiss
2018 J jnl
Bringing Together Dynamic Geometry Software and the Graphics Processing Unit.
CoRR
Aaron Montag, Jürgen Richter-Gebert
2016 — conf
CindyGL: Authoring GPU-Based Interactive Mathematical Content.
ICMS
Aaron Montag, Jürgen Richter-Gebert
2016 — conf
CindyJS - Mathematical Visualization on Modern Devices.
ICMS
Martin von Gagern, Ulrich Kortenkamp, Jürgen Richter-Gebert, Michael Strobel
2016 — conf
CindyJS Plugins - Extending the Mathematical Visualization Framework.
ICMS
Martin von Gagern, Jürgen Richter-Gebert
2015 J jnl
Cayley-Bacharach Formulas.
Am. Math. Mon.
Qingchun Ren, Jürgen Richter-Gebert, Bernd Sturmfels
2011 — ed.
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Automated Deduction in Geometry
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
2010 — conf
Cancellation Patterns in Automatic Geometric Theorem Proving.
Automated Deduction in Geometry
Susanne Apel, Jürgen Richter-Gebert
2009 J jnl
Diagrams, Tensors and Geometric Reasoning.
Discret. Comput. Geom.
Jürgen Richter-Gebert, Peter Lebmeir
2009 J jnl
Every non-Euclidean oriented matroid admits a biquadratic final polynomial.
Comb.
Komei Fukuda, Sonoko Moriyama, Hiroki Nakayama, Jürgen Richter-Gebert
2009 J jnl
Hyperbolization of Euclidean Ornaments.
Electron. J. Comb.
Martin von Gagern, Jürgen Richter-Gebert
2008 J jnl
Rotations, translations and symmetry detection for complexified curves.
Comput. Aided Geom. Des.
Peter Lebmeir, Jürgen Richter-Gebert
2006 — conf
Recognition of Computationally Constructed Loci.
Automated Deduction in Geometry
Peter Lebmeir, Jürgen Richter-Gebert
2004 — ch.
Basic Properties of Convex Polytopes.
Handbook of Discrete and Computational Geometry, 2nd Ed.
Martin Henk, Jürgen Richter-Gebert, Günter M. Ziegler
2004 — ch.
Oriented Matroids.
Handbook of Discrete and Computational Geometry, 2nd Ed.
Jürgen Richter-Gebert, Günter M. Ziegler
2004 J jnl
The complexity of finding small triangulations of convex 3-polytopes.
J. Algorithms
Alexander Below, Jesús A. De Loera, Jürgen Richter-Gebert
2001 — ed.
Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Automated Deduction in Geometry
Jürgen Richter-Gebert, Dongming Wang
2000 — conf
Decision Complexity in Dynamic Geometry.
Automated Deduction in Geometry
Ulrich Kortenkamp, Jürgen Richter-Gebert
2000 J jnl
Finding Small Triangulations of Polytope Boundaries Is Hard.
Discret. Comput. Geom.
Jürgen Richter-Gebert
2000 A* conf
Finding minimal triangulations of convex 3-polytopes is NP-hard.
SODA
Alexander Below, Jesús A. De Loera, Jürgen Richter-Gebert
2000 J jnl
Minimal Simplicial Dissections and Triangulations of Convex 3-Polytopes.
Discret. Comput. Geom.
Alexander Below, Ulrich Brehm, Jesús A. De Loera, Jürgen Richter-Gebert
1997 J jnl
Extremal Properties of 0/1-Polytopes.
Discret. Comput. Geom.
Ulrich Kortenkamp, Jürgen Richter-Gebert, Aravamuthan Sarangarajan, Günter M. Ziegler
1995 J jnl
Mechanical Theorem Proving in Projective Geometry.
Ann. Math. Artif. Intell.
Jürgen Richter-Gebert
1993 J jnl
Combinatorial Obstructions to the Lifting of Weaving Diagrams.
Discret. Comput. Geom.
Jürgen Richter-Gebert
1993 J jnl
Euclideaness and final polynomials.
Comb.
Jürgen Richter-Gebert
1993 J jnl
Oriented Matroids with Few Mutations.
Discret. Comput. Geom.
Jürgen Richter-Gebert
1993 J jnl
Two Constructions of Oriented Matroids with Disconnected Extension Space.
Discret. Comput. Geom.
Nicolai E. Mnëv, Jürgen Richter-Gebert
1992 J jnl
A new Sylvester-Gallai configuration representing the 13-point projective plane in
J. Comb. Theory B
Jürgen Bokowski, Jürgen Richter-Gebert
1991 J jnl
On the Distribution of Order Types.
Comput. Geom.
Jürgen Bokowski, Jürgen Richter-Gebert, Werner Schindler