scientific article; zbMATH DE number 1276817

zbMath0994.12003MaRDI QIDQ4238962

Guadalupe Trujillo, Laureano Gonzalez-Vega, Marie-Françoise Roy, Fabrice Rouillier

Publication date: 20 April 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Gröbner basisrational univariate representationSturm sequencetrace formreal rootsalgorithms for computing real quantifier eliminationreal univariate polynomialsign determination schemesSylvester-Habicht sequenceThom codes

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects in algebraic geometry (14Q99) Nonlinear algebraic or transcendental equations (65H99)

Related Items (15)

Algorithms to compute the topology of orientable real algebraic surfaces ⋮ Towards faster real algebraic numbers ⋮ Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study ⋮ A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. ⋮ Subresultants and locally nilpotent derivations. ⋮ Birational properties of the gap subresultant varieties ⋮ Some constructions for real algebraic curves ⋮ Real solution isolation using interval arithmetic ⋮ Finding at least one point in each connected component of a real algebraic set defined by a single equation ⋮ Symbolic computation of limit cycles associated with Hilbert's 16th problem ⋮ On affine complete intersections with isolated singularities. ⋮ Counting positive solutions for polynomial systems with real coefficients ⋮ New structure theorem for subresultants ⋮ An algebraic formula for the Euler characteristic of some semi-algebraic sets ⋮ An algorithm for isolating the real solutions of semi-algebraic systems

This page was built for publication: