| Publication | Date of Publication | Type |
|---|
| On the notion of equal figures in Euclid | 2023-08-17 | Paper |
| Larry Wos: visions of automated reasoning | 2022-12-12 | Paper |
| Some applications of Gentzen's proof theory in automated deduction | 2022-11-26 | Paper |
| Euclid after Computer Proof-Checking | 2022-08-03 | Paper |
| The Church numbers in NF set theory | 2021-07-21 | Paper |
| Intuitionistic NF Set Theory | 2021-03-31 | Paper |
| Euclid After Computer Proof-checking | 2021-03-16 | Paper |
| Mixing Computations and Proofs | 2019-09-18 | Paper |
| Proof-checking Euclid | 2019-05-16 | Paper |
| Tiling an Equilateral Triangle | 2018-12-17 | Paper |
| No triangle can be cut into seven congruent triangles | 2018-11-23 | Paper |
| Brouwer and Euclid | 2018-01-12 | Paper |
| Finding proofs in Tarskian geometry | 2017-07-10 | Paper |
| CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE | 2017-05-26 | Paper |
| HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY | 2016-03-18 | Paper |
| A constructive version of Tarski's geometry | 2015-08-21 | Paper |
| The number of minimal surfaces bounded by Enneper's wire | 2015-05-22 | Paper |
| OTTER Proofs in Tarskian Geometry | 2014-09-26 | Paper |
| Proof and Computation in Geometry | 2013-09-20 | Paper |
| Logic of Ruler and Compass Constructions | 2012-08-14 | Paper |
| Tilings of an Isosceles Triangle | 2012-06-09 | Paper |
| Triangle Tiling V: Tilings by a tile with integer sides | 2012-06-04 | Paper |
| Triangle Tiling: The case $3\alpha + 2\beta = \pi$ | 2012-06-04 | Paper |
| Triangle Tiling II: Nonexistence theorems | 2012-06-04 | Paper |
| Triangle Tiling I: The tile is similar to ABC or has a right angle | 2012-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567843 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3606209 | 2009-02-26 | Paper |
| The meaning of infinity in calculus and computer algebra systems | 2007-10-19 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Mathematical induction in Otter-lambda | 2007-01-30 | Paper |
| A real-analytic Jordan curve cannot bound infinitely many relative minima of area | 2006-11-30 | Paper |
| Double-negation elimination in some propositional logics | 2006-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808723 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539614 | 2002-07-10 | Paper |
| Automatic derivation of the irrationality of \(e\) | 2002-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499155 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249894 | 1999-11-07 | Paper |
| Reality and Truth in Mathematics | 1999-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217949 | 1998-11-11 | Paper |
| USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS | 1995-10-29 | Paper |
| Triangles with Vertices on Lattice Points | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3478407 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4730771 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733861 | 1989-01-01 | Paper |
| Towards a computation system based on set theory | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205404 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757915 | 1986-01-01 | Paper |
| The 6\(\pi\) theorem about minimal surfaces | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679172 | 1985-01-01 | Paper |
| The cusp catastrophe of Thom in the bifurcation of minimal surfaces | 1984-01-01 | Paper |
| Church's thesis, continuity, and set theory | 1984-01-01 | Paper |
| Some results on finiteness in Plateau's problem. II | 1982-01-01 | Paper |
| Recursive models for constructive set theories | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674656 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914980 | 1981-01-01 | Paper |
| Some results on finiteness in Plateau's problem. I | 1980-01-01 | Paper |
| Extensionality and choice in constructive mathematics | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898494 | 1980-01-01 | Paper |
| On interior branch points of minimal surfaces | 1980-01-01 | Paper |
| On interior branch points of minimal surfaces | 1980-01-01 | Paper |
| Goodman's theorem and beyond | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866108 | 1979-01-01 | Paper |
| On the Area of Harmonic Surfaces | 1978-01-01 | Paper |
| Some relations between classical and constructive mathematics | 1978-01-01 | Paper |
| A type-free Gödel interpretation | 1978-01-01 | Paper |
| Continuity and comprehension in intuitionistic formal systems | 1977-01-01 | Paper |
| The behavior of a minimal surface in a corner | 1977-01-01 | Paper |
| Non-continuous dependence of surfaces of least area on the boundary curve | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4098311 | 1977-01-01 | Paper |
| Principles of continuous choice and continuity of functions in formal systems for constructive mathematics | 1977-01-01 | Paper |
| The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals | 1976-01-01 | Paper |
| Derived rules of inference related to the continuity of effective operations | 1976-01-01 | Paper |
| The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations | 1975-01-01 | Paper |
