| Publication | Date of Publication | Type |
|---|
| Automated programming, symbolic computation, machine learning: my personal view | 2023-11-02 | Paper |
| Vladimir Gerdt: a computer algebra enthusiast | 2023-06-22 | Paper |
| Gröbner bases: An introduction | 2019-12-04 | Paper |
| Theorema 2.0: Computer-Assisted Natural-Style Mathematics | 2019-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4627681 | 2019-03-11 | Paper |
| Satisfiability checking and symbolic computation | 2017-06-21 | Paper |
| The GDML and EuKIM Projects: Short Report on the Initiative | 2016-09-28 | Paper |
| Stam’s Identities Collection: A Case Study for Math Knowledge Bases | 2016-09-28 | Paper |
| $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation | 2016-08-30 | Paper |
| Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates | 2015-11-25 | Paper |
| Groebner Bases in Theorema | 2014-09-08 | Paper |
| Soft Math Math Soft | 2014-09-08 | Paper |
| Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema | 2014-09-08 | Paper |
| Algorithm synthesis by lazy thinking: examples and implementation in Theorema | 2013-09-09 | Paper |
| Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases | 2012-09-14 | Paper |
| An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal | 2012-08-23 | Paper |
| Transforming problems from analysis to algebra: a case study in linear boundary problems | 2012-05-07 | Paper |
| An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188222 | 2010-03-10 | Paper |
| A Symbolic Framework for Operations on Linear Boundary Problems | 2009-11-10 | Paper |
| Combining logical and algebraic techniques for natural style proving in elementary analysis | 2009-06-18 | Paper |
| Mathematical Theory Exploration | 2009-03-12 | Paper |
| Comments on the translation of my PhD thesis: ``An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal | 2007-10-23 | Paper |
| Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German | 2007-10-23 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| \textit{Theorema}: Towards computer-aided mathematical theory exploration | 2007-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416408 | 2007-01-22 | Paper |
| Automated Deduction in Geometry | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700800 | 2005-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699483 | 2005-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699466 | 2005-10-26 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021905 | 2005-06-21 | Paper |
| Computer algebra | 2004-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808732 | 2004-08-12 | Paper |
| Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases | 2003-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433923 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433979 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4780208 | 2002-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4780191 | 2002-10-31 | Paper |
| The TH\(\exists\)OREM\(\forall\) project: A progress report | 2002-07-03 | Paper |
| Two tools for mathematical knowledge management in theorema | 2002-02-14 | Paper |
| Mathematical knowledge management using theorema | 2002-02-14 | Paper |
| Theorem proving for and with Gröbner bases theory | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499159 | 2001-03-06 | Paper |
| Gröbner bases and systems theory | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394946 | 2000-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226993 | 1999-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394981 | 1998-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385444 | 1998-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362892 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4357060 | 1997-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026752 | 1993-02-21 | Paper |
| Using Gröbner bases for detecting polynomial identities: A case study on Fermat's ideal | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3798768 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3798767 | 1988-01-01 | Paper |
| History and basic features of the critical-pair/completion procedure | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745825 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750117 | 1986-01-01 | Paper |
| Algorithm 628 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714165 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789075 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3721811 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336682 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325832 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3341887 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3928206 | 1981-01-01 | Paper |
| A simplified proof of the characterization theorem for Gröbner-bases | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3897991 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3911732 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208084 | 1979-01-01 | Paper |
| An improved algorithmic construction of Gröbner-bases for polynomial ideals | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4162643 | 1978-01-01 | Paper |
| INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4179798 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4404418 | 1974-01-01 | Paper |
| On centain decompositions of Gödel numberings | 1974-01-01 | Paper |
| Bemerkung zu den Reduzierbarkeitskriterien vonR.Albrecht für das Optimum-Mix-Problem | 1972-01-01 | Paper |
| Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems | 1970-01-01 | Paper |
