| Publication | Date of Publication | Type |
|---|
On the notion of equal figures in Euclid
Beiträge zur Algebra und Geometrie | 2023-08-17 | Paper |
Larry Wos: visions of automated reasoning
Journal of Automated Reasoning | 2022-12-12 | Paper |
Some applications of Gentzen's proof theory in automated deduction
Extensions of Logic Programming | 2022-11-26 | Paper |
Euclid after Computer Proof-Checking
The American Mathematical Monthly | 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
(available as arXiv preprint) | 2021-03-16 | Paper |
| Mixing computations and proofs | 2019-09-18 | Paper |
Proof-checking Euclid
Annals of Mathematics and Artificial Intelligence | 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
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
Finding proofs in Tarskian geometry
Journal of Automated Reasoning | 2017-07-10 | Paper |
Constructive geometry and the parallel postulate
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
Herbrand's theorem and non-Euclidean geometry
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
A constructive version of Tarski's geometry
Annals of Pure and Applied Logic | 2015-08-21 | Paper |
| The number of minimal surfaces bounded by Enneper's wire | 2015-05-22 | Paper |
OTTER proofs in Tarskian geometry
Automated Reasoning | 2014-09-26 | Paper |
Proof and computation in geometry
Automated Deduction in Geometry | 2013-09-20 | Paper |
Logic of Ruler and Compass Constructions
Lecture Notes in Computer Science | 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 |
| Constructive geometry | 2010-06-17 | Paper |
| scientific article; zbMATH DE number 5519284 (Why is no real title available?) | 2009-02-26 | Paper |
The meaning of infinity in calculus and computer algebra systems
Journal of Symbolic Computation | 2007-10-19 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Mathematical induction in Otter-lambda
Journal of Automated Reasoning | 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
Studia Logica | 2006-01-30 | Paper |
| scientific article; zbMATH DE number 2090052 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1765677 (Why is no real title available?) | 2002-07-10 | Paper |
Automatic derivation of the irrationality of \(e\)
Journal of Symbolic Computation | 2002-01-02 | Paper |
| scientific article; zbMATH DE number 1497745 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1303341 (Why is no real title available?) | 1999-11-07 | Paper |
Reality and Truth in Mathematics
Philosophia Mathematica | 1999-10-17 | Paper |
| scientific article; zbMATH DE number 1222425 (Why is no real title available?) | 1998-11-11 | Paper |
USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
International Journal of Foundations of Computer Science | 1995-10-29 | Paper |
Triangles with Vertices on Lattice Points
The American Mathematical Monthly | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4148083 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4115950 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4120164 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4125356 (Why is no real title available?) | 1988-01-01 | Paper |
Towards a computation system based on set theory
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4006266 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3900744 (Why is no real title available?) | 1985-01-01 | Paper |
The 6 theorem about minimal surfaces
Pacific Journal of Mathematics | 1985-01-01 | Paper |
The cusp catastrophe of Thom in the bifurcation of minimal surfaces
Manuscripta Mathematica | 1984-01-01 | Paper |
Church's thesis, continuity, and set theory
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3827862 (Why is no real title available?) | 1982-01-01 | Paper |
Recursive models for constructive set theories
Annals of Mathematical Logic | 1982-01-01 | Paper |
Some results on finiteness in Plateau's problem. II
Mathematische Zeitschrift | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3726339 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3706447 (Why is no real title available?) | 1980-01-01 | Paper |
Some results on finiteness in Plateau's problem. I
Mathematische Zeitschrift | 1980-01-01 | Paper |
Extensionality and choice in constructive mathematics
Pacific Journal of Mathematics | 1980-01-01 | Paper |
On interior branch points of minimal surfaces
Mathematische Zeitschrift | 1980-01-01 | Paper |
On interior branch points of minimal surfaces
Mathematische Zeitschrift | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3668598 (Why is no real title available?) | 1979-01-01 | Paper |
Goodman's theorem and beyond
Pacific Journal of Mathematics | 1979-01-01 | Paper |
| On the Area of Harmonic Surfaces | 1978-01-01 | Paper |
Some relations between classical and constructive mathematics
Journal of Symbolic Logic | 1978-01-01 | Paper |
A type-free Gödel interpretation
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3519497 (Why is no real title available?) | 1977-01-01 | Paper |
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
Annals of Mathematical Logic | 1977-01-01 | Paper |
The behavior of a minimal surface in a corner
Archive for Rational Mechanics and Analysis | 1977-01-01 | Paper |
Continuity and comprehension in intuitionistic formal systems
Pacific Journal of Mathematics | 1977-01-01 | Paper |
Non-continuous dependence of surfaces of least area on the boundary curve
Pacific Journal of Mathematics | 1977-01-01 | Paper |
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
Journal of Symbolic Logic | 1976-01-01 | Paper |
Derived rules of inference related to the continuity of effective operations
Journal of Symbolic Logic | 1976-01-01 | Paper |
The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
Journal of Symbolic Logic | 1975-01-01 | Paper |
