| Publication | Date of Publication | Type |
|---|
Automated programming, symbolic computation, machine learning: my personal view
Annals of Mathematics and Artificial Intelligence | 2023-11-02 | Paper |
Vladimir Gerdt: a computer algebra enthusiast
Mathematics in Computer Science | 2023-06-22 | Paper |
Gröbner bases: An introduction
Automata, Languages and Programming | 2019-12-04 | Paper |
| Theorema 2.0: computer-assisted natural-style mathematics | 2019-09-18 | Paper |
| Gröbner bases computation by triangularizing Macaulay matrices | 2019-03-11 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
The GDML and EuKIM projects: short report on the initiative
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Stam's identities collection: a case study for math knowledge bases
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Groebner bases in Theorema
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Soft math math soft
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Complexity analysis of the bivariate Buchberger algorithm in Theorema
Mathematical Software – ICMS 2014 | 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
Texts & Monographs in Symbolic Computation | 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
Journal of Symbolic Computation | 2012-05-07 | Paper |
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
| A new symbolic method for linear boundary value problems using Groebner bases | 2010-03-10 | Paper |
A Symbolic Framework for Operations on Linear Boundary Problems
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
Combining logical and algebraic techniques for natural style proving in elementary analysis
Mathematics and Computers in Simulation | 2009-06-18 | Paper |
Mathematical Theory Exploration
Automated Reasoning | 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''
Journal of Symbolic Computation | 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
Journal of Symbolic Computation | 2007-10-23 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
\textit{Theorema}: Towards computer-aided mathematical theory exploration
Journal of Applied Logic | 2007-02-20 | Paper |
| Algorithm synthesis by lazy thinking: using problem schemes | 2007-01-22 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2220992 (Why is no real title available?) | 2005-10-31 | Paper |
| scientific article; zbMATH DE number 2217748 (Why is no real title available?) | 2005-10-26 | Paper |
| scientific article; zbMATH DE number 2217734 (Why is no real title available?) | 2005-10-26 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2177625 (Why is no real title available?) | 2005-06-21 | Paper |
Computer algebra
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
| scientific article; zbMATH DE number 2090059 (Why is no real title available?) | 2004-08-12 | Paper |
Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases
Applicable Analysis | 2003-12-18 | Paper |
| scientific article; zbMATH DE number 2000397 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 2000433 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 1822263 (Why is no real title available?) | 2002-10-31 | Paper |
| scientific article; zbMATH DE number 1822247 (Why is no real title available?) | 2002-10-31 | Paper |
| The THOREM 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 |
| scientific article; zbMATH DE number 1497748 (Why is no real title available?) | 2001-03-06 | Paper |
Gröbner bases and systems theory
Multidimensional Systems and Signal Processing | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1163415 (Why is no real title available?) | 2000-07-19 | Paper |
| scientific article; zbMATH DE number 1254011 (Why is no real title available?) | 1999-05-30 | Paper |
| scientific article; zbMATH DE number 1163446 (Why is no real title available?) | 1998-09-06 | Paper |
| scientific article; zbMATH DE number 1140679 (Why is no real title available?) | 1998-04-13 | Paper |
| scientific article; zbMATH DE number 1086642 (Why is no real title available?) | 1997-11-13 | Paper |
| scientific article; zbMATH DE number 1070620 (Why is no real title available?) | 1997-10-07 | Paper |
| scientific article; zbMATH DE number 125105 (Why is no real title available?) | 1993-02-21 | Paper |
Using Gröbner bases for detecting polynomial identities: A case study on Fermat's ideal
Journal of Number Theory | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 4065140 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4065139 (Why is no real title available?) | 1988-01-01 | Paper |
History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3981150 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3986635 (Why is no real title available?) | 1986-01-01 | Paper |
Algorithm 628
ACM Transactions on Mathematical Software | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3941661 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4053022 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3952003 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3870585 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3857248 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3876580 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3742583 (Why is no real title available?) | 1981-01-01 | Paper |
A simplified proof of the characterization theorem for Gröbner-bases
ACM SIGSAM Bulletin | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3705870 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3722493 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3649988 (Why is no real title available?) | 1979-01-01 | Paper |
An improved algorithmic construction of Gröbner-bases for polynomial ideals
ACM SIGSAM Bulletin | 1978-01-01 | Paper |
INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS
International Journal of General Systems | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3596233 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3615851 (Why is no real title available?) | 1976-01-01 | Paper |
On centain decompositions of Gödel numberings
Archiv für Mathematische Logik und Grundlagenforschung | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3438370 (Why is no real title available?) | 1974-01-01 | Paper |
Bemerkung zu den Reduzierbarkeitskriterien vonR.Albrecht für das Optimum-Mix-Problem
Zeitschrift für Operations Research | 1972-01-01 | Paper |
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
Aequationes Mathematicae | 1970-01-01 | Paper |
