Recent advances on determining the number of real roots of parametric polynomials
From MaRDI portal
Publication:1808669
DOI10.1006/JSCO.1998.0274zbMath0957.65041OpenAlexW1977100588MaRDI 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
Numerical computation of solutions to single equations (65H05) Real polynomials: location of zeros (26C10)
Related Items (67)
Algorithms to compute the topology of orientable real algebraic surfaces ⋮ On the coefficients of the polynomial in the number field sieve ⋮ A probabilistic algorithm for computing data-discriminants of likelihood equations ⋮ Automatic computation of the complete root classification for a parametric polynomial ⋮ The order structure of forts iterated by quadratic polynomials ⋮ Real algebraic numbers and polynomial systems of small degree ⋮ On maps which preserve semipositivity and quantifier elimination theory for real numbers ⋮ On polynomial feedback Nash equilibria for two-player scalar differential games ⋮ Solution classification for the nonperspective-three-point problem ⋮ Recent advances in program verification through computer algebra ⋮ A complete algorithm for automated discovering of a class of inequality-type theorems ⋮ Bifurcations and Control in a Discrete Predator–Prey Model with Strong Allee Effect ⋮ Geodesics on a Kerr-Newman-(anti-)de Sitter instanton ⋮ An SIRS model with nonmonotone incidence and saturated treatment in a changing environment ⋮ On the center criterion of planar quasi-homogeneous polynomial differential systems ⋮ Some new algebraic and geometric analysis for local stability crossing curves ⋮ Forts of quadratic polynomials under iteration ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Real polynomial iterative roots in the case of nonmonotonicity height \(\geqslant 2\) ⋮ Criteria for the nonexistence of periodic orbits in planar differential systems ⋮ Stable quasi-periodic orbits of a class of quintic Duffing systems ⋮ Linking bifurcation analysis of Holling–Tanner model with generalist predator to a changing environment ⋮ Nilpotent bi-center in continuous piecewise \(\mathbb{Z}_2\)-equivariant cubic polynomial Hamiltonian systems ⋮ Solving the perspective-three-point problem using comprehensive Gröbner systems ⋮ Wronskian-based tests for stability of polynomial combinations ⋮ Bifurcation analysis of a predator–prey model with Beddington–DeAngelis functional response and predator competition ⋮ Topological classification of the intersection curves of two quadrics using a set of discriminants ⋮ Bifurcations driven by generalist and specialist predation: mathematical interpretation of Fennoscandia phenomenon ⋮ Quantifier elimination theory and maps which preserve semipositivity ⋮ An Organizing Center of Codimension Four in a Predator-Prey Model with Generalist Predator: From Tristability and Quadristability to Transients in a Nonlinear Environmental Change ⋮ Limit cycles of cubic polynomial differential systems with rational first integrals of degree 2 ⋮ Real root classification of parametric spline functions ⋮ Qualitative properties and bifurcations of a Cournot-Bertrand duopoly mixed competition model ⋮ Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems ⋮ A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. ⋮ Uniqueness of equilibrium in the haber synthesis of ammonia ⋮ Bifurcation diagrams for Hamiltonian linear type centers of linear plus cubic homogeneous polynomial vector fields ⋮ Quantifier elimination for a class of exponential polynomial formulas ⋮ Positivity-preserving methods for a linearised Fisher–KPP equation with consistency properties in the energy domain ⋮ \(Z_2\)-equivariant linear type bi-center cubic polynomial Hamiltonian vector fields ⋮ Bifurcation Diagrams and Global Phase Portraits for Some Hamiltonian Systems with Rational Potentials ⋮ Bifurcation diagrams for Hamiltonian nilpotent centers of linear plus cubic homogeneous polynomial vector fields ⋮ Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems ⋮ Codimension-one and codimension-two bifurcations of a discrete predator-prey system with strong Allee effect ⋮ Dynamics of the Higgins-Selkov and Selkov systems ⋮ Symbolic decision procedure for termination of linear programs ⋮ Sufficient conditions for the existence of periodic solutions of the extended Duffing–Van der Pol oscillator ⋮ Classification of the relative positions between a small ellipsoid and an elliptic paraboloid ⋮ A new result on the \(p\)-irreducibility of binding polynomials ⋮ Unnamed Item ⋮ Complexity in iteration of polynomials ⋮ Codimension one and two bifurcations of a discrete stage-structured population model with self-limitation ⋮ Stability analysis of delayed food chain systems with heterogeneous free parameters ⋮ A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms ⋮ Stabilization of the unstable spinning of a Lagrange top filled with a fluid ⋮ Global dynamics of an epidemic model with an unspecified degree ⋮ Dynamics of a Prey–Predator System with Foraging Facilitation in Predators ⋮ Phase portraits of the Higgins-Selkov system ⋮ The Dirac equation in the Kerr-de Sitter metric ⋮ ABOUT THE STABILITY OF NONCONSERVATIVE UNDAMPED ELASTIC SYSTEMS: SOME NEW ELEMENTS ⋮ Contact detection between a small ellipsoid and another quadric ⋮ On polynomial selection for the general number field sieve ⋮ A robust algorithm for finding the real intersections of three quadric surfaces ⋮ Potentials of the Heun class: The triconfluent case ⋮ Bifurcations in Holling-Tanner model with generalist predator and prey refuge ⋮ New 1:1:1 periodic solutions in \(3\)-dimensional galactic-type Hamiltonian systems ⋮ Witness to non-termination of linear programs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Recent advances on determining the number of real roots of parametric polynomials