| Publication | Date of Publication | Type |
|---|
| : A Linear Algebra Textbook System | 2023-06-30 | Paper |
| On W-characteristic sets of lexicographic Gröbner bases | 2023-03-03 | Paper |
| SMS Nanning and RWTH Aachen: in memory of Vladimir Gerdt (1947--2021) | 2022-12-14 | Paper |
| Symbolic computation for the qualitative theory of differential equations | 2022-10-12 | Paper |
| A strategy for speeding-up the computation of characteristic sets | 2022-08-18 | Paper |
| Zero-Hopf Bifurcation of Limit Cycles in Certain Differential Systems | 2022-05-28 | Paper |
| Characteristic decomposition of polynomial sets | 2022-03-21 | Paper |
| A framework for improving uniformity of parameterizations of curves | 2021-12-15 | Paper |
| The second discriminant of a univariate polynomial | 2021-07-08 | Paper |
| On \(n\)-sectors of the angles of an arbitrary triangle | 2021-02-25 | Paper |
| Computing strong regular characteristic pairs with Gröbner bases | 2021-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5127496 | 2020-10-27 | Paper |
| Decomposition of polynomial sets into characteristic pairs | 2020-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5210100 | 2020-01-22 | Paper |
| Algebraic factoring and geometry theorem proving | 2020-01-21 | Paper |
| Retrieving geometric information from images: the case of hand-drawn diagrams | 2019-05-03 | Paper |
| Characteristic decomposition: from regular sets to normal sets | 2019-03-06 | Paper |
| GEOTHER: A geometry theorem prover | 2019-01-15 | Paper |
| Data Throughputs of Noise-Limited MIMO Cellular Systems | 2018-06-27 | Paper |
| On the connection between Ritt characteristic sets and Buchberger-Gröbner bases | 2017-07-25 | Paper |
| Uniform Gröbner bases for ideals generated by polynomials with parametric exponents | 2017-02-03 | Paper |
| Searching for Geometric Theorems Using Features Retrieved from Diagrams | 2016-05-25 | Paper |
| ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves | 2016-04-12 | Paper |
| Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams | 2015-11-11 | Paper |
| Automated generation of geometric theorems from images of diagrams | 2015-07-27 | Paper |
| Stability analysis of biological systems with real solution classification | 2015-07-16 | Paper |
| Formalization and specification of geometric knowledge objects | 2015-02-04 | Paper |
| Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification | 2014-10-22 | Paper |
| OpenGeo: An Open Geometric Knowledge Base | 2014-09-08 | Paper |
| Algebraic analysis of stability and bifurcation of a self-assembling micelle system | 2014-06-27 | Paper |
| Improving angular speed uniformity by reparameterization | 2014-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5399957 | 2014-02-28 | Paper |
| Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization | 2013-09-20 | Paper |
| Stability analysis for discrete biological models using algebraic methods | 2013-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4927483 | 2013-06-20 | Paper |
| Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case | 2013-02-19 | Paper |
| A new algorithmic scheme for computing characteristic sets | 2013-01-10 | Paper |
| Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems | 2012-12-27 | Paper |
| Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization | 2012-09-21 | Paper |
| Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence | 2012-09-07 | Paper |
| Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases | 2012-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3109025 | 2012-01-27 | Paper |
| Solution formulas for cubic equations without or with constraints | 2011-06-29 | Paper |
| On the Design and Implementation of a Geometric Knowledge Base | 2011-05-26 | Paper |
| Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case | 2011-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188281 | 2010-03-10 | Paper |
| Automated Deduction in Geometry | 2009-06-04 | Paper |
| Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems | 2009-02-03 | Paper |
| Solving Dynamic Geometric Constraints Involving Inequalities | 2009-01-15 | Paper |
| Algebraic approaches to stability analysis of biological systems | 2008-05-27 | Paper |
| Towards an Electronic Geometry Textbook | 2008-04-01 | Paper |
| A simple method for implicitizing rational curves and surfaces | 2007-08-24 | Paper |
| Automated Deduction in Geometry | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718715 | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823164 | 2004-10-26 | Paper |
| Unmixed and prime decomposition of radicals of polynomial ideals | 2004-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418135 | 2003-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4550807 | 2003-07-08 | Paper |
| Computing triangular systems and regular systems | 2003-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790471 | 2003-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531859 | 2002-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2747395 | 2002-03-11 | Paper |
| ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs. | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946083 | 2001-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2725945 | 2001-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520303 | 2001-02-26 | Paper |
| Polynomial systems from certain differential equations | 2000-11-14 | Paper |
| A class of cubic systems with two centers or two foci | 2000-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942259 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946081 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934142 | 2000-01-17 | Paper |
| Elimination methods | 1999-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237456 | 1999-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249890 | 1999-06-17 | Paper |
| Decomposing polynomial systems into simple systems | 1999-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838775 | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217954 | 1998-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394960 | 1998-08-10 | Paper |
| Elimination procedures for mechanical theorem proving in geometry | 1996-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839545 | 1996-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840652 | 1995-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840653 | 1995-07-24 | Paper |
| Differentiation and integration of indefinite summations with respect to indexed variables - some rules and applications | 1995-04-04 | Paper |
| An elimination method for polynomial systems | 1994-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3135176 | 1994-10-30 | Paper |
| Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases | 1993-01-18 | Paper |
| Mechanical manipulation for a class of differential systems | 1992-06-28 | Paper |
| The structure of LaSalle's invariant set for Lotka-Volterra systems | 1992-06-27 | Paper |
| On the conditions of Kukles for the existence of a Centre | 1990-01-01 | Paper |
| A new theorem discovered by computer prover | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3491012 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809767 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826906 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829067 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764125 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735803 | 1986-01-01 | Paper |
