| Publication | Date of Publication | Type |
|---|
| A dataset for suggesting variable orderings for cylindrical algebraic decompositions | 2025-01-10 | Paper |
| Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically | 2023-06-30 | Paper |
| Chordality Preserving Incremental Triangular Decomposition and Its Implementation | 2022-10-13 | Paper |
| Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks | 2022-10-13 | Paper |
| A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure | 2022-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4984748 | 2021-04-26 | Paper |
| A Companion Curve Tracing Method for Rank-deficient Polynomial Systems | 2021-01-29 | Paper |
| Visualizing planar and space implicit real algebraic curves with singularities | 2021-01-21 | Paper |
| Numerical roadmap of smooth bounded real algebraic surface | 2020-05-14 | Paper |
| A continuation method for visualizing planar real algebraic curves with singularities | 2018-10-23 | Paper |
| Penalty function based critical point approach to compute real witness solution points of polynomial systems | 2018-02-23 | Paper |
| Full rank representation of real algebraic sets and applications | 2018-02-23 | Paper |
| The basic polynomial algebra subprograms | 2017-06-22 | Paper |
| A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications | 2016-11-09 | Paper |
| An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions | 2016-04-12 | Paper |
| Real Root Isolation of Regular Chains | 2016-04-12 | Paper |
| Quantifier elimination by cylindrical algebraic decomposition based on regular chains | 2016-02-11 | Paper |
| Regular Chains under Linear Changes of Coordinates and Applications | 2015-11-25 | Paper |
| Simplification of Cylindrical Algebraic Formulas | 2015-11-25 | Paper |
| Quantifier elimination by cylindrical algebraic decomposition based on regular chains | 2015-11-11 | Paper |
| Triangular decomposition of semi-algebraic systems | 2015-09-17 | Paper |
| Algorithms for computing triangular decompositions of polynomial systems | 2015-06-09 | Paper |
| Computing with semi-algebraic sets represented by triangular decomposition | 2015-06-09 | Paper |
| Basic Polynomial Algebra Subprograms | 2015-03-18 | Paper |
| The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple | 2015-02-26 | Paper |
| Computing the real solutions of polynomial systems with the RegularChains library in Maple | 2015-02-20 | Paper |
| Cylindrical Algebraic Decomposition in the RegularChains Library | 2014-09-08 | Paper |
| Solving Parametric Polynomial Systems by RealComprehensiveTriangularize | 2014-09-08 | Paper |
| Real Quantifier Elimination in the RegularChains Library | 2014-09-08 | Paper |
| Doing Algebraic Geometry with the RegularChains Library | 2014-09-08 | Paper |
| Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains | 2014-09-08 | Paper |
| The Basic Polynomial Algebra Subprograms | 2014-09-08 | Paper |
| Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition | 2014-08-07 | Paper |
| Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One | 2014-07-07 | Paper |
| An application of regular chain theory to the study of limit cycles | 2013-12-13 | Paper |
| Computing with semi-algebraic sets: relaxation techniques and effective boundaries | 2013-03-11 | Paper |
| Triangular decomposition of semi-algebraic systems | 2013-01-10 | Paper |
| Computing cylindrical algebraic decomposition via triangular decomposition | 2012-05-13 | Paper |
| Algorithms for computing triangular decomposition of polynomial systems | 2012-05-07 | Paper |
| Semi-algebraic Description of the Equilibria of Dynamical Systems | 2011-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188269 | 2010-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188226 | 2010-03-10 | Paper |
| Comprehensive Triangular Decomposition | 2008-07-01 | Paper |
