Pages that link to "Item:Q2465578"
From MaRDI portal
The following pages link to Testing sign conditions on a multivariate polynomial and applications (Q2465578):
Displaying 25 items.
- Variant quantifier elimination (Q420753) (← links)
- Optimizing \(n\)-variate \((n+k)\)-nomials for small \(k\) (Q633624) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
- Properness defects of projection and minimal discriminant variety (Q719760) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- Thirty years of polynomial system solving, and now? (Q1006651) (← links)
- The Voronoi diagram of three lines (Q1028584) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- Symbolic analysis of multiple steady states in a MAPK chemical reaction network (Q1994887) (← links)
- Certified non-conservative tests for the structural stability of discrete multidimensional systems (Q2002386) (← links)
- On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
- Atypical points at infinity and algorithmic detection of the bifurcation locus of real polynomials (Q2043085) (← links)
- Smooth points on semi-algebraic sets (Q2100053) (← links)
- Computing real radicals and \(S\)-radicals of polynomial systems (Q2200311) (← links)
- Exact algorithms for semidefinite programs with degenerate feasible set (Q2229751) (← links)
- Algebraic analysis of stability and bifurcation of a self-assembling micelle system (Q2249013) (← links)
- On the geometry of polar varieties (Q2267371) (← links)
- Real algebraic numbers and polynomial systems of small degree (Q2378492) (← links)
- Reaching generalized critical values of a polynomial (Q2636981) (← links)
- Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods (Q2656065) (← links)
- Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image (Q2830019) (← links)
- Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping (Q3597979) (← links)
- Analysis of Snapback Repellers Using Methods of Symbolic Computation (Q4632158) (← links)
- Quantitative properties of the non-properness set of a polynomial map, a positive characteristic case (Q5133841) (← links)
