Solving parametric polynomial systems

DOI10.1016/j.jsc.2007.01.007zbMath1156.14044OpenAlexW2012079420MaRDI QIDQ2455750

Publication date: 26 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2007.01.007

zbMATH Keywords

algorithms semi-algebraic set polynomial system computer algebra parametric polynomial system constructible set discriminant variety solving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Discriminantal varieties and configuration spaces in algebraic topology (55R80) Real algebraic and real-analytic geometry (14P99)

Related Items

First order perturbation and local stability of parametrized systems, A probabilistic algorithm for computing data-discriminants of likelihood equations, Computations with parameters: a theoretical background, Finding all Nash equilibria of a finite game using polynomial algebra, Data loci in algebraic optimization, Approximate Gröbner bases, overdetermined polynomial systems, and approximate GCDs, Systems with parameters, or efficiently solving systems of polynomial equations: 33 years later. I, Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods, Stability analysis for discrete biological models using algebraic methods, A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure, Automatic deduction in (dynamic) geometry: Loci computation, On the determination of cusp points of 3-RPR parallel manipulators, Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics, Machine learning the real discriminant locus, Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems, Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations, Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically, Local stability and Hopf bifurcations analysis of the Muthuswamy-Chua-Ginoux system, CAD and topology of semi-algebraic sets, Systems with parameters, or efficiently solving systems of polynomial equations: 33 years later. III, On solving parametric polynomial systems, Equilibrium locus of the flow on circular networks of cells, Solving parametric piecewise polynomial systems, Visualizing planar and space implicit real algebraic curves with singularities, A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases, Analysis of Snapback Repellers Using Methods of Symbolic Computation, A parametric approach to 3D dynamic geometry, Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods, Exotic Bifurcations in Three Connected Populations with Allee Effect, Symbolic analysis of multiple steady states in a MAPK chemical reaction network, Algebraic analysis of stability and bifurcation of a self-assembling micelle system, Invariant algebraic sets and symmetrization of polynomial systems, The multistationarity structure of networks with intermediates and a binomial core network, Certified non-conservative tests for the structural stability of discrete multidimensional systems, Complexity of solving parametric polynomial systems, Multistationarity in the space of total concentrations for systems that admit a monomial parametrization, Sweeping algebraic curves for singular solutions, A parametric representation of totally mixed Nash equilibria, Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping, Trace-positive complex polynomials in three unitaries, Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems, Properness defects of projection and minimal discriminant variety, On the extended Hensel construction and its application to the computation of real limit points, On computing absolutely irreducible components of algebraic varieties with parameters, Cylinders Through Five Points: Complex and Real Enumerative Geometry, Thirty years of polynomial system solving, and now?, Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth, Systems with parameters, or efficiently solving systems of polynomial equations 33 years later. II, A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications, Dynamic balancing of planar mechanisms using toric geometry, The Midpoint Locus of a Triangle in a Corner, Real zeros of the zero-dimensional parametric piecewise algebraic variety, Symbolic computation for the qualitative theory of differential equations, Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems, Solving parametric systems of polynomial equations over the reals through Hermite matrices

Uses Software

Cites Work