scientific article; zbMATH DE number 1276817
From MaRDI portal
Publication:4238962
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.
Gröbner basisrational univariate representationSturm sequencetrace formreal rootsalgorithms for computing real quantifier eliminationreal univariate polynomialsign determination schemesSylvester-Habicht sequenceThom codes
Symbolic computation and algebraic computation (68W30) Computational aspects in algebraic geometry (14Q99) Nonlinear algebraic or transcendental equations (65H99)
Related Items
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
