Pages that link to "Item:Q2557742"
From MaRDI portal
The following pages link to A Nullstellensatz and a Positivstellensatz in semialgebraic geometry (Q2557742):
Displaying 50 items.
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares (Q258393) (← links)
- Some applications of polynomial optimization in operations research and real-time decision making (Q276318) (← links)
- Invariance and monotonicity of nonlinear systems on time scales (Q288916) (← links)
- Regulous functions (Q314115) (← links)
- Real algebraic geometry with a view toward systems control and free positivity. Abstracts from the workshop held April 6--12, 2014. (Q347197) (← links)
- Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\) (Q368724) (← links)
- A real nullstellensatz for free modules (Q405913) (← links)
- Copositive optimization -- recent developments and applications (Q421783) (← links)
- Establishing robust stability of discrete-time systems with time-varying uncertainty: the Gram-SOS approach (Q473299) (← links)
- A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals (Q492020) (← links)
- Some positivstellensätze for polynomial matrices (Q496788) (← links)
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- A semialgebraic closure for commutative algebra (Q538078) (← links)
- Strict positivstellensätze for matrix polynomials with scalar constraints (Q630538) (← links)
- First order conditions for semidefinite representations of convex sets defined by rational or singular polynomials (Q662299) (← links)
- Alternative evidence for nonnegativity (Q860432) (← links)
- Positivstellensatz for homogeneous semialgebraic sets (Q895800) (← links)
- Quantifying the unstable in linearized nonlinear systems (Q900222) (← links)
- Some continuous Positivstellensätze (Q909731) (← links)
- Certificates of positivity in the Bernstein basis (Q938310) (← links)
- Polynomial designs. I: Polynomial characterizations of common properties of a design (Q957562) (← links)
- More on real algebra in Scott's model (Q1076670) (← links)
- Computation of generalized real radicals of polynomial ideals (Q1297627) (← links)
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field (Q1313807) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Algebraic and analytic finite spaces of orderings. (Q1428106) (← links)
- Sparse-BSOS: a bounded degree SOS hierarchy for large scale polynomial optimization with sparsity (Q1646680) (← links)
- Tight size-degree bounds for sums-of-squares proofs (Q1686838) (← links)
- On robust stability of switched systems in the context of Filippov solutions (Q1690967) (← links)
- Real algebraic geometry for matrices over commutative rings (Q1758260) (← links)
- A survey on conic relaxations of optimal power flow problem (Q2023908) (← links)
- Positivstellensätze for polynomial matrices (Q2055381) (← links)
- A sum-of-squares-based procedure to approximate the Pontryagin difference of basic semi-algebraic sets (Q2059318) (← links)
- Positivity certificates and polynomial optimization on non-compact semialgebraic sets (Q2149557) (← links)
- Certifying the global optimality of quartic minimization over the sphere (Q2158108) (← links)
- Computing real radicals and \(S\)-radicals of polynomial systems (Q2200311) (← links)
- On the complexity of testing attainment of the optimal value in nonlinear optimization (Q2205977) (← links)
- Region of attraction analysis of nonlinear stochastic systems using polynomial chaos expansion (Q2208529) (← links)
- An augmented Lagrangian algorithm for nonlinear semidefinite programming applied to the covering problem (Q2301011) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\) (Q2316794) (← links)
- On an extension of Pólya's Positivstellensatz (Q2342945) (← links)
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- A bounded degree SOS hierarchy for polynomial optimization (Q2397758) (← links)
- Optimisation of transient and ultimate inescapable sets with polynomial boundaries for nonlinear systems (Q2409285) (← links)
- A toric positivstellensatz with applications to delay systems (Q2431137) (← links)
- New approximations for the cone of copositive matrices and its dual (Q2452380) (← links)
- Reference dependent invariant sets: sum of squares based computation and applications in constrained control (Q2665114) (← links)
- Positive semidefinite analytic functions on real analytic surfaces (Q2665608) (← links)
- Lyapunov function computation for autonomous systems with complex dynamic behavior (Q2673609) (← links)