The following pages link to (Q4660671):
Displaying 46 items.
- On the complexity of the generalized MinRank problem (Q390388) (← links)
- Global optimization of polynomials restricted to a smooth variety using sums of squares (Q412217) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces (Q431820) (← links)
- A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals (Q492020) (← links)
- Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity (Q629349) (← links)
- A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface (Q629823) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Real root finding for determinants of linear matrices (Q898255) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- The Voronoi diagram of three lines (Q1028584) (← links)
- Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization (Q1690788) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- A hybrid procedure for finding real points on a real algebraic set (Q1730309) (← links)
- Multilinear polynomial systems: root isolation and bit complexity (Q1994888) (← 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)
- Bit complexity for computing one point in each connected component of a smooth real algebraic set (Q2100045) (← links)
- Smooth points on semi-algebraic sets (Q2100053) (← links)
- Solving parametric systems of polynomial equations over the reals through Hermite matrices (Q2117425) (← links)
- Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems (Q2132458) (← links)
- Real root finding for low rank linear matrices (Q2175227) (← links)
- Computing real radicals and \(S\)-radicals of polynomial systems (Q2200311) (← links)
- Solving determinantal systems using homotopy techniques (Q2229744) (← links)
- Exact algorithms for semidefinite programs with degenerate feasible set (Q2229751) (← links)
- Intrinsic complexity estimates in polynomial optimization (Q2251913) (← links)
- On the geometry of polar varieties (Q2267371) (← links)
- On types of degenerate critical points of real polynomial functions (Q2284966) (← links)
- Computing real witness points of positive dimensional polynomial systems (Q2357373) (← links)
- Generalized polar varieties: geometry and algorithms (Q2387411) (← links)
- Solving parametric polynomial systems (Q2455750) (← links)
- A probabilistic algorithm for computing data-discriminants of likelihood equations (Q2628325) (← links)
- Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics (Q2674013) (← links)
- Permutations encoding the local shape of level curves of real polynomials via generic projections (Q2675335) (← links)
- Polar Varieties Revisited (Q2808010) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Exact Algorithms for Linear Matrix Inequalities (Q2834563) (← links)
- Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping (Q3597979) (← links)
- Local polar varieties in the geometric study of singularities (Q4556016) (← links)
- Symbolic computation in hyperbolic programming (Q4561483) (← links)
- Computing totally real hyperplane sections and linear series on algebraic curves (Q5101849) (← links)
- (Q5389777) (← links)
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients (Q5883314) (← links)
- Stability analysis of a bacterial growth model through computer algebra (Q6060138) (← links)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836) (← links)
- Computing roadmaps in unbounded smooth real algebraic sets. I: Connectivity results (Q6170822) (← links)
