| Publication | Date of Publication | Type |
|---|
Coordinate-free theorem proving in incidence geometry
| 2018-11-23 | Paper |
Bringing Together Dynamic Geometry Software and the Graphics Processing Unit
| 2018-08-14 | Paper |
iOrnament -- from the mathematical machine room
Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV) | 2017-10-25 | Paper |
CindyJS
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
CindyJS plugins -- extending the mathematical visualization framework
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
CindyGL: authoring GPU-based interactive mathematical content
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Cayley-Bacharach formulas
American Mathematical Monthly | 2016-06-16 | Paper |
Cancellation patterns in automatic geometric theorem proving
Automated Deduction in Geometry | 2011-11-25 | Paper |
Every non-Euclidean oriented matroid admits a biquadratic final polynomial
Combinatorica | 2011-02-08 | Paper |
Perspectives on projective geometry. A guided tour through real and complex geometry
| 2011-01-31 | Paper |
Geometries
Springer-Lehrbuch | 2009-11-13 | Paper |
Rotations, translations and symmetry detection for complexified curves
Computer Aided Geometric Design | 2009-10-22 | Paper |
Diagrams, tensors and geometric reasoning
Discrete & Computational Geometry | 2009-07-24 | Paper |
Hyperbolization of Euclidean ornaments
The Electronic Journal of Combinatorics | 2009-07-08 | Paper |
Geometry of Numerical Complex Time Integration
| 2009-03-09 | Paper |
Recognition of Computationally Constructed Loci
Automated Deduction in Geometry | 2008-04-01 | Paper |
scientific article; zbMATH DE number 5064011 (Why is no real title available?)
| 2006-10-13 | Paper |
The Cinderella.2 Manual
| 2006-10-10 | Paper |
scientific article; zbMATH DE number 2221693 (Why is no real title available?)
| 2005-11-01 | Paper |
Achenputtel und die Perlen. So etwas wie eine Buchbesprechung
Mitteilungen der Deutschen Mathematiker-Vereinigung | 2004-12-13 | Paper |
scientific article; zbMATH DE number 1859221 (Why is no real title available?)
| 2003-06-26 | Paper |
scientific article; zbMATH DE number 1860722 (Why is no real title available?)
| 2003-06-01 | Paper |
scientific article; zbMATH DE number 1745041 (Why is no real title available?)
| 2002-05-23 | Paper |
scientific article; zbMATH DE number 1548431 (Why is no real title available?)
| 2001-01-02 | Paper |
Finding small triangulations of polytope boundaries is hard
Discrete & Computational Geometry | 2000-09-14 | Paper |
scientific article; zbMATH DE number 1467754 (Why is no real title available?)
| 2000-07-02 | Paper |
Testing orientability for matroids is NP-complete
Advances in Applied Mathematics | 2000-04-10 | Paper |
scientific article; zbMATH DE number 1241847 (Why is no real title available?)
| 2000-03-26 | Paper |
scientific article; zbMATH DE number 1313585 (Why is no real title available?)
| 1999-07-05 | Paper |
scientific article; zbMATH DE number 1182906 (Why is no real title available?)
| 1999-04-28 | Paper |
scientific article; zbMATH DE number 1182899 (Why is no real title available?)
| 1998-12-02 | Paper |
Mnëv's universality theorem revisited
Séminaire Lotharingien de Combinatoire | 1997-01-26 | Paper |
Realization spaces of polytopes
Lecture Notes in Mathematics | 1997-01-20 | Paper |
scientific article; zbMATH DE number 967404 (Why is no real title available?)
| 1997-01-16 | Paper |
Mechanical theorem proving in projective geometry
Annals of Mathematics and Artificial Intelligence | 1997-01-14 | Paper |
Realization spaces of 4-polytopes are universal
Bulletin of the American Mathematical Society | 1997-01-09 | Paper |
Extremal properties of \(0/1\)-polytopes
Discrete & Computational Geometry | 1997-01-01 | Paper |
scientific article; zbMATH DE number 718862 (Why is no real title available?)
| 1996-07-28 | Paper |
Two interesting oriented matroids
Documenta Mathematica | 1996-07-07 | Paper |
Euclideaness and final polynomials in oriented matroid theory
Combinatorica | 1994-06-12 | Paper |
Oriented matroids with few mutations
Discrete & Computational Geometry | 1994-06-12 | Paper |
Combinatorial obstructions to the lifting of weaving diagrams
Discrete & Computational Geometry | 1994-06-12 | Paper |
Two constructions of oriented matroids with disconnected extension space
Discrete & Computational Geometry | 1993-11-30 | Paper |
On the distribution of order types
Computational Geometry | 1992-08-13 | Paper |
A new Sylvester-Gallai configuration representing the 13-point projective plane in \(R^ 4\)
Journal of Combinatorial Theory. Series B | 1992-06-28 | Paper |
Algebraic varieties characterizing matroids and oriented matroids
Advances in Mathematics | 1992-06-25 | Paper |
On the Topology and Geometric Construction of Oriented Matroids and Convex Polytopes
| 1992-06-25 | Paper |
On the finding of final polynomials
European Journal of Combinatorics | 1990-01-01 | Paper |
Nonrealizability proofs in computational geometry
Discrete & Computational Geometry | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4191661 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 3911706 (Why is no real title available?)
| 1985-01-01 | Paper |
