Solving parameter-dependent semi-algebraic systems
From MaRDI portal
Cites work
- A complete algorithm for automated discovering of a class of inequality-type theorems
- A package for solving parametric polynomial systems
- Algorithms in real algebraic geometry
- Automated Deduction in Geometry
- Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
- Complexity of the resolution of parametric systems of polynomial equations and inequations
- Computing totally real hyperplane sections and linear series on algebraic curves
- Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery
- Equi-Cevaline points of triangles
- Extrait d'une lettre de Mr. Ch. Hermite de Paris à Mr. Borchardt de Berlin sur le nombre des racines d'une équation algébrique comprises entre des limites données.
- Faster one block quantifier elimination for regular polynomial systems of equations
- FGb: A Library for Computing Gröbner Bases
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 2151204 (Why is no real title available?)
- On the Betti numbers of sign conditions
- On the stability of Gröbner bases under specializations
- Real quantifier elimination is doubly exponential
- Signatures in algebra, topology and dynamics
- Solving parametric polynomial systems
- Solving parametric systems of polynomial equations over the reals through Hermite matrices
- Sub-cubic change of ordering for Gröbner basis: a probabilistic approach
- The complete root classification of a parametric polynomial on an interval
- The complexity of quantifier elimination and cylindrical algebraic decomposition
- Triangular decomposition of semi-algebraic systems
Cited in
(3)
This page was built for publication: Solving parameter-dependent semi-algebraic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7033512)
