| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4556040 | 2018-11-23 | Paper |
| Bringing Together Dynamic Geometry Software and the Graphics Processing Unit | 2018-08-14 | Paper |
| iOrnament -- from the mathematical machine room | 2017-10-25 | Paper |
| CindyJS | 2016-09-28 | Paper |
| CindyJS Plugins | 2016-09-28 | Paper |
| CindyGL: Authoring GPU-Based Interactive Mathematical Content | 2016-09-28 | Paper |
| Cayley–Bacharach Formulas | 2016-06-16 | Paper |
| Cancellation Patterns in Automatic Geometric Theorem Proving | 2011-11-25 | Paper |
| Every non-Euclidean oriented matroid admits a biquadratic final polynomial | 2011-02-08 | Paper |
| Perspectives on Projective Geometry | 2011-01-31 | Paper |
| Geometries | 2009-11-13 | Paper |
| Rotations, translations and symmetry detection for complexified curves | 2009-10-22 | Paper |
| Diagrams, tensors and geometric reasoning | 2009-07-24 | Paper |
| Hyperbolization of Euclidean ornaments | 2009-07-08 | Paper |
| Geometry of Numerical Complex Time Integration | 2009-03-09 | Paper |
| Recognition of Computationally Constructed Loci | 2008-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5492562 | 2006-10-13 | Paper |
| The Cinderella.2 Manual | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702484 | 2005-11-01 | Paper |
| Achenputtel und die Perlen. So etwas wie eine Buchbesprechung | 2004-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789204 | 2003-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790451 | 2003-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531861 | 2002-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4522682 | 2001-01-02 | Paper |
| Finding small triangulations of polytope boundaries is hard | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4488104 | 2000-07-02 | Paper |
| Testing orientability for matroids is NP-complete | 2000-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225310 | 2000-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4254919 | 1999-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4401003 | 1999-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400996 | 1998-12-02 | Paper |
| Mnëv's universality theorem revisited | 1997-01-26 | Paper |
| Realization spaces of polytopes | 1997-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5690444 | 1997-01-16 | Paper |
| Mechanical theorem proving in projective geometry | 1997-01-14 | Paper |
| Realization spaces of 4-polytopes are universal | 1997-01-09 | Paper |
| Extremal properties of \(0/1\)-polytopes | 1997-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320819 | 1996-07-28 | Paper |
| Two interesting oriented matroids | 1996-07-07 | Paper |
| Oriented matroids with few mutations | 1994-06-12 | Paper |
| Combinatorial obstructions to the lifting of weaving diagrams | 1994-06-12 | Paper |
| Euclideaness and final polynomials in oriented matroid theory | 1994-06-12 | Paper |
| Two constructions of oriented matroids with disconnected extension space | 1993-11-30 | Paper |
| On the distribution of order types | 1992-08-13 | Paper |
| A new Sylvester-Gallai configuration representing the 13-point projective plane in \(R^ 4\) | 1992-06-28 | Paper |
| Algebraic varieties characterizing matroids and oriented matroids | 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 | 1990-01-01 | Paper |
| Nonrealizability proofs in computational geometry | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3211317 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687713 | 1985-01-01 | Paper |
