Search results for "Jürgen Richter-Gebert"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)	Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers	Automated Deduction in Geometry	2011	DBLP DOI BibTeX RDF
1	Susanne Apel, Jürgen Richter-Gebert	Cancellation Patterns in Automatic Geometric Theorem Proving.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
1	Martin von Gagern, Jürgen Richter-Gebert	Hyperbolization of Euclidean Ornaments.	Electr. J. Comb.	2009	DBLP BibTeX RDF
1	Komei Fukuda, Sonoko Moriyama, Hiroki Nakayama, Jürgen Richter-Gebert	Every non-Euclidean oriented matroid admits a biquadratic final polynomial.	Combinatorica	2009	DBLP DOI BibTeX RDF
1	Jürgen Richter-Gebert, Peter Lebmeir	Diagrams, Tensors and Geometric Reasoning.	Discrete & Computational Geometry	2009	DBLP DOI BibTeX RDF	Incidence theorems, Diagrams, Projective geometry, Tensors, Invariant theory
1	Peter Lebmeir, Jürgen Richter-Gebert	Rotations, translations and symmetry detection for complexified curves.	Computer Aided Geometric Design	2008	DBLP DOI BibTeX RDF
1	Peter Lebmeir, Jürgen Richter-Gebert	Recognition of Computationally Constructed Loci.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
1	Alexander Below, Jesús A. De Loera, Jürgen Richter-Gebert	The complexity of finding small triangulations of convex 3-polytopes.	J. Algorithms	2004	DBLP DOI BibTeX RDF
1	Jürgen Richter-Gebert, Dongming Wang (eds.)	Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers	Automated Deduction in Geometry	2001	DBLP BibTeX RDF
1	Jürgen Richter-Gebert	Finding Small Triangulations of Polytope Boundaries Is Hard.	Discrete & Computational Geometry	2000	DBLP DOI BibTeX RDF
1	Alexander Below, Jesús A. De Loera, Jürgen Richter-Gebert	Minimal Simplicial Dissections and Triangulations of Convex 3-Polytopes.	Discrete & Computational Geometry	2000	DBLP DOI BibTeX RDF
1	Alexander Below, Jesús A. De Loera, Jürgen Richter-Gebert	Finding minimal triangulations of convex 3-polytopes is NP-hard.	SODA	2000	DBLP DOI BibTeX RDF
1	Ulrich Kortenkamp, Jürgen Richter-Gebert	Decision Complexity in Dynamic Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
1	Ulrich Kortenkamp, Jürgen Richter-Gebert, A. Sarangarajan, Günter M. Ziegler	Extremal Properties of 0/1-Polytopes.	Discrete & Computational Geometry	1997	DBLP DOI BibTeX RDF
1	Jürgen Richter-Gebert	Mechanical Theorem Proving in Projective Geometry.	Ann. Math. Artif. Intell.	1995	DBLP DOI BibTeX RDF
1	Jürgen Richter-Gebert	Euclideaness and final polynomials.	Combinatorica	1993	DBLP DOI BibTeX RDF
1	Jürgen Richter-Gebert	Combinatorial Obstructions to the Lifting of Weaving Diagrams.	Discrete & Computational Geometry	1993	DBLP DOI BibTeX RDF
1	Nicolai E. Mnëv, Jürgen Richter-Gebert	Two Constructions of Oriented Matroids with Disconnected Extension Space.	Discrete & Computational Geometry	1993	DBLP DOI BibTeX RDF
1	Jürgen Richter-Gebert	Oriented Matroids with Few Mutations.	Discrete & Computational Geometry	1993	DBLP DOI BibTeX RDF
1	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	1992	DBLP DOI BibTeX RDF
1	Jürgen Bokowski, Jürgen Richter-Gebert, Werner Schindler	On the Distribution of Order Types.	Comput. Geom.	1991	DBLP DOI BibTeX RDF

Publications of "Jürgen Richter-Gebert" ( http://dblp.L3S.de/Authors/Jürgen_Richter-Gebert )