Certified complex root isolation via adaptive root separation bounds

MaRDI QIDQ5188243zbMATH OpenFDO

Authors Michael Sagraloff, Michael Kerber, Michael Hemmer

Publication date 10 March 2010

zbMATH Keywords

polynomial systemregion isolationroot isolation

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Certified numerical real root isolation for bivariate polynomial systems
• From approximate factorization to root isolation with application to cylindrical algebraic decomposition
• From approximate factorization to root isolation
• Multilinear polynomial systems: root isolation and bit complexity
• Certified numerical real root isolation for bivariate nonlinear systems

Cited in

(1)

• Exact symbolic-numeric computation of planar algebraic curves

Describes a project that uses

Uses Software

• PRECISE

This page was built for publication: Certified complex root isolation via adaptive root separation bounds

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