| 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
Artificial Intelligence and Symbolic Computation | 2023-06-30 | Paper |
Chordality preserving incremental triangular decomposition and its implementation
Lecture Notes in Computer Science | 2022-10-13 | Paper |
Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
Lecture Notes in Computer Science | 2022-10-13 | Paper |
A geometric approach for analyzing parametric biological systems by exploiting block triangular structure
SIAM Journal on Applied Dynamical Systems | 2022-07-15 | Paper |
scientific article; zbMATH DE number 7339173 (Why is no real title available?)
| 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
Journal of Systems Science and Complexity | 2021-01-21 | Paper |
Numerical roadmap of smooth bounded real algebraic surface
Computer Aided Geometric Design | 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
ACM Communications in Computer Algebra | 2017-06-22 | Paper |
A numerical method for computing border curves of bi-parametric real polynomial systems and applications
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
An incremental algorithm for computing cylindrical algebraic decompositions
Computer Mathematics | 2016-04-12 | Paper |
Real root isolation of regular chains
Computer Mathematics | 2016-04-12 | Paper |
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Journal of Symbolic Computation | 2016-02-11 | Paper |
Regular chains under linear changes of coordinates and applications
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Simplification of Cylindrical Algebraic Formulas
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Triangular decomposition of semi-algebraic systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Algorithms for computing triangular decompositions of polynomial systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Computing with semi-algebraic sets represented by triangular decomposition
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Basic polynomial algebra subprograms
ACM Communications in Computer Algebra | 2015-03-18 | Paper |
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
Computing the real solutions of polynomial systems with the RegularChains library in Maple
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Cylindrical algebraic decomposition in the RegularChains library
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Solving parametric polynomial systems by RealComprehensiveTriangularize
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Real quantifier elimination in the RegularChains library
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Doing algebraic geometry with the RegularChains library
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Truth table invariant cylindrical algebraic decomposition by regular chains
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
The basic polynomial algebra subprograms
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Lecture Notes in Computer Science | 2014-08-07 | Paper |
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
An application of regular chain theory to the study of limit cycles
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2013-12-13 | Paper |
Computing with semi-algebraic sets: relaxation techniques and effective boundaries
Journal of Symbolic Computation | 2013-03-11 | Paper |
Triangular decomposition of semi-algebraic systems
Journal of Symbolic Computation | 2013-01-10 | Paper |
Computing cylindrical algebraic decomposition via triangular decomposition
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Algorithms for computing triangular decomposition of polynomial systems
Journal of Symbolic Computation | 2012-05-07 | Paper |
Semi-algebraic description of the equilibria of dynamical systems
Computer Algebra in Scientific Computing | 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
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
