| 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 |
| Intersection formulas and algorithms for computing triangular decompositions | 2010-03-10 | Paper |
| Real root isolation of regular chains | 2010-03-10 | Paper |
| Comprehensive Triangular Decomposition | 2008-07-01 | Paper |
