| Publication | Date of Publication | Type |
|---|
| Experiments with automated reasoning in the class | 2023-06-02 | Paper |
| A heuristic prover for elementary analysis in \textit{Theorema} | 2022-04-22 | Paper |
| \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} | 2022-03-31 | Paper |
| Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema | 2021-12-08 | Paper |
| Synthesis of sorting algorithms using multisets in \textit{Theorema} | 2021-02-26 | Paper |
| Theorema 2.0: Computer-Assisted Natural-Style Mathematics | 2019-09-18 | Paper |
| Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques | 2018-06-14 | Paper |
| Proof–Based Synthesis of Sorting Algorithms for Trees | 2016-04-13 | Paper |
| Synthesis of list algorithms by mechanical proving | 2015-01-14 | Paper |
| Sound and Complete Verification Condition Generator for Functional Recursive Programs | 2012-09-14 | Paper |
| Using computer algebra techniques for the specification, verification and synthesis of recursive programs | 2009-06-18 | Paper |
| Combining logical and algebraic techniques for natural style proving in elementary analysis | 2009-06-18 | Paper |
| Functional–Based Synthesis of a Systolic Array for GCD Computation | 2009-03-11 | Paper |
| \textit{Theorema}: Towards computer-aided mathematical theory exploration | 2007-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416386 | 2007-01-22 | Paper |
| Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) | 2006-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699474 | 2005-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699558 | 2005-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4815318 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4815327 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4459895 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537118 | 2002-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4780211 | 2002-10-31 | Paper |
| The TH\(\exists\)OREM\(\forall\) project: A progress report | 2002-07-03 | Paper |
| Using meta-variables for natural deduction in \textit{Theorema} | 2001-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226993 | 1999-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234183 | 1999-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226984 | 1999-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895370 | 1997-03-25 | Paper |
| Bidirectional exact integer division | 1997-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895475 | 1996-11-12 | Paper |
| A double-digit Lehmer-Euclid algorithm for finding the GCD of long integers | 1996-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4294264 | 1994-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4294242 | 1994-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4294265 | 1994-05-24 | Paper |
| An algorithm for exact division | 1993-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712220 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789043 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3678647 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340180 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340181 | 1984-01-01 | Paper |
