Recent advances on determining the number of real roots of parametric polynomials
From MaRDI portal
Publication:1808669
DOI10.1006/jsco.1998.0274zbMath0957.65041MaRDI QIDQ1808669
Publication date: 11 March 2001
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1998.0274
65H05: Numerical computation of solutions to single equations
26C10: Real polynomials: location of zeros
Related Items
Symbolic decision procedure for termination of linear programs, Automatic computation of the complete root classification for a parametric polynomial, Solution classification for the nonperspective-three-point problem, A complete algorithm for automated discovering of a class of inequality-type theorems, A complete algorithm for counting real solutions of polynomial systems of equations and inequalities., A new result on the \(p\)-irreducibility of binding polynomials, Algorithms to compute the topology of orientable real algebraic surfaces, Real algebraic numbers and polynomial systems of small degree, Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems, Global dynamics of an epidemic model with an unspecified degree, A robust algorithm for finding the real intersections of three quadric surfaces, On polynomial selection for the general number field sieve, Positivity-preserving methods for a linearised Fisher–KPP equation with consistency properties in the energy domain
Uses Software
Cites Work
- A complete discrimination system for polynomials
- Geometric reasoning with logic and algebra
- On mechanical quantifier elimination for elementary algebra and geometry
- Quantifier elimination: Optimal solution for two classical examples
- Partial cylindrical algebraic decomposition for quantifier elimination
- A complete discrimination system for polynomials with complex coefficients and its automatic generation
- Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item