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
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
- 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