Solving parametric polynomial systems by RealComprehensiveTriangularize

DOI10.1007/978-3-662-44199-2_76MaRDI QIDQ2879169zbMATH OpenOpenAlexFDO

Authors Changbo Chen, Marc Moreno Maza

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_76

zbMATH Keywords

parametric polynomial systemreal comprehensive triangular decompositionRegularChains

Mathematics Subject Classification ID

Computational methods for problems pertaining to field theory (12-08) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Solving polynomial systems; resultants (13P15) Computational real algebraic geometry (14Q30)

Recommendations

• Comprehensive Triangular Decomposition
• Hierarchical Comprehensive Triangular Decomposition
• Triangular decomposition of semi-algebraic systems
• Triangular decomposition of semi-algebraic systems
• Generic regular decompositions for parametric polynomial systems

Cited in

(3)

• Comprehensive Triangular Decomposition
• RealComprehensiveTriangularize
• Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra

Describes a project that uses

Uses Software

• Maple
• RegularChains

This page was built for publication: Solving parametric polynomial systems by RealComprehensiveTriangularize

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879169)