A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
From MaRDI portal
Publication:2557742
Cites work
Cited in
(only showing first 100 items - show all)- More on real algebra in Scott's model
- Computation of generalized real radicals of polynomial ideals
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- Constructive rereading of Artin-Schreier theory
- Algebraic and analytic finite spaces of orderings.
- Sparse-BSOS: a bounded degree SOS hierarchy for large scale polynomial optimization with sparsity
- Tight size-degree bounds for sums-of-squares proofs
- On robust stability of switched systems in the context of Filippov solutions
- Real algebraic geometry for matrices over commutative rings
- A survey on conic relaxations of optimal power flow problem
- Positivstellensätze for polynomial matrices
- A sum-of-squares-based procedure to approximate the Pontryagin difference of basic semi-algebraic sets
- Positivity certificates and polynomial optimization on non-compact semialgebraic sets
- Certifying the global optimality of quartic minimization over the sphere
- Computing real radicals and S-radicals of polynomial systems
- On the complexity of testing attainment of the optimal value in nonlinear optimization
- Region of attraction analysis of nonlinear stochastic systems using polynomial chaos expansion
- An augmented Lagrangian algorithm for nonlinear semidefinite programming applied to the covering problem
- NIL: learning nonlinear interpolants
- Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\)
- On an extension of Pólya's Positivstellensatz
- Real or natural number interpretation and their effect on complexity
- A bounded degree SOS hierarchy for polynomial optimization
- Optimisation of transient and ultimate inescapable sets with polynomial boundaries for nonlinear systems
- A toric positivstellensatz with applications to delay systems
- New approximations for the cone of copositive matrices and its dual
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- Reference dependent invariant sets: sum of squares based computation and applications in constrained control
- Positive semidefinite analytic functions on real analytic surfaces
- Lyapunov function computation for autonomous systems with complex dynamic behavior
- A novel moving orthonormal coordinate-based approach for region of attraction analysis of limit cycles
- Some applications of polynomial optimization in operations research and real-time decision making
- Control synthesis for polynomial discrete-time systems under input constraints via delayed-state Lyapunov functions
- The approach of moments for polynomial equations
- Positivity and optimization: beyond polynomials
- Guaranteed estimates of the domain of attraction for a class of hybrid systems
- Relative entropy relaxations for signomial optimization
- Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
- Global stability analysis of nonlinear sampled-data systems using convex methods
- Invariance and monotonicity of nonlinear systems on time scales
- Computation with polynomial equations and inequalities arising in combinatorial optimization
- Stellensätze for matrices over a commutative ring
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases
- Modular SMT proofs for fast reflexive checking inside Coq
- Regulous functions
- The Noncommutative Graded Positivstellensatz
- The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs
- Real algebraic geometry with a view toward systems control and free positivity. Abstracts from the workshop held April 6--12, 2014.
- Semialgebraic stellensâtze for matrices
- Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\)
- On the real spectrum of a ring and its application to semialgebraic geometry
- A real nullstellensatz for free modules
- Copositive optimization -- recent developments and applications
- Orderings of higher level on noetherian rings
- Polynomial, regular and Nash images of Euclidean spaces
- Establishing robust stability of discrete-time systems with time-varying uncertainty: the Gram-SOS approach
- A strict Positivstellensatz for rings of definable analytic functions
- On the estimation of the equilibrium points of uncertain nonlinear systems
- A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals
- A nullstellensatz and a positivstellensatz for ordered differential fields
- Some positivstellensätze for polynomial matrices
- The Lovász theta function for random regular graphs and community detection in the hard regime
- scientific article; zbMATH DE number 7387190 (Why is no real title available?)
- Lifting the convex conjugate in Lagrangian relaxations: a tractable approach for continuous Markov random fields
- Disordered systems insights on computational hardness
- Sharper and Simpler Nonlinear Interpolants for Program Verification
- Size-degree trade-offs for sums-of-squares and positivstellensatz proofs
- Sum of squares bounds for the ordering principle
- On the construction of converging hierarchies for polynomial optimization based on certificates of global positivity
- An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
- Computing the Hausdorff boundary measure of semialgebraic sets
- Stability verification for a class of stochastic hybrid systems by semidefinite programming
- Real World Verification
- Formal Proofs for Nonlinear Optimization
- A note on Nullstellensatz over finite fields
- The Lovász theta function for random regular graphs and community detection in the hard regime
- Equationally defined radical classes
- An algebraic certificate for Budan's theorem
- A semialgebraic closure for commutative algebra
- DSOS and SDSOS optimization: more tractable alternatives to sum of squares and semidefinite optimization
- Robust stabilisation of polynomial systems with uncertain parameters
- Radii minimal projections of polytopes and constrained optimization of symmetric polynomials
- Globally optimizing small codes in real projective spaces
- Tensor manifold with Tucker rank constraints
- Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity
- Dynamical method in algebra: Effective Nullstellensätze
- An algorithmic approach to Schmüdgen's Positivstellensatz
- Complexity of Null- and Positivstellensatz proofs
- On the effective Putinar's Positivstellensatz and moment approximation
- On polynomial images of a closed ball
- Universal continuous calculus for Su*‐algebras
- Safety verification for regime-switching jump diffusions via barrier certificates
- Stability analysis of a bacterial growth model through computer algebra
- Sparse polynomial optimisation for neural network verification
- On eigenvalues of symmetric matrices with PSD principal submatrices
- Symmetry reduction of states. I
- Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump
- Identifiability of Chemical Reaction Networks with Intrinsic and Extrinsic Noise from Stationary Distributions
- Rational certificates of non-negativity on semialgebraic subsets of cylinders
- Second Order Conditions to Decompose Smooth Functions as Sums of Squares
This page was built for publication: A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2557742)
