A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
From MaRDI portal
Publication:2557742
DOI10.1007/BF01362149zbMath0253.14001WikidataQ59487548 ScholiaQ59487548MaRDI QIDQ2557742
Publication date: 1973
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/162533
Related Items
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, Degree Bounds for Putinar’s Positivstellensatz on the Hypercube, More on real algebra in Scott's model, The Noncommutative Graded Positivstellensatz, Some applications of polynomial optimization in operations research and real-time decision making, Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable Approach for Continuous Markov Random Fields, Invariance and monotonicity of nonlinear systems on time scales, Equationally defined radical classes, Computation with Polynomial Equations and Inequalities Arising in Combinatorial Optimization, Orderings of higher level on noetherian rings, Disordered systems insights on computational hardness, Sharper and Simpler Nonlinear Interpolants for Program Verification, Unnamed Item, Regulous functions, Positivity certificates and polynomial optimization on non-compact semialgebraic sets, Sparse-BSOS: a bounded degree SOS hierarchy for large scale polynomial optimization with sparsity, Certifying the global optimality of quartic minimization over the sphere, Alternative evidence for nonnegativity, Real algebraic geometry with a view toward systems control and free positivity. Abstracts from the workshop held April 6--12, 2014., A bounded degree SOS hierarchy for polynomial optimization, Semialgebraic stellensâtze for matrices, Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\), Reference dependent invariant sets: sum of squares based computation and applications in constrained control, Constructive rereading of Artin-Schreier theory, Positive semidefinite analytic functions on real analytic surfaces, Optimisation of transient and ultimate inescapable sets with polynomial boundaries for nonlinear systems, Lyapunov function computation for autonomous systems with complex dynamic behavior, On the effective Putinar's Positivstellensatz and moment approximation, On polynomial images of a closed ball, Tight size-degree bounds for sums-of-squares proofs, A real nullstellensatz for free modules, On robust stability of switched systems in the context of Filippov solutions, Positivstellensatz for homogeneous semialgebraic sets, 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, On the real spectrum of a ring and its application to semialgebraic geometry, Quantifying the unstable in linearized nonlinear systems, Copositive optimization -- recent developments and applications, Strict positivstellensätze for matrix polynomials with scalar constraints, Computing real radicals and \(S\)-radicals of polynomial systems, A toric positivstellensatz with applications to delay systems, Stellensätze for matrices over a commutative ring, A novel moving orthonormal coordinate-based approach for region of attraction analysis of limit cycles, Unnamed Item, Some continuous Positivstellensätze, 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, Computing the Hausdorff Boundary Measure of Semialgebraic Sets, DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization, Algebraic and analytic finite spaces of orderings., Establishing robust stability of discrete-time systems with time-varying uncertainty: the Gram-SOS approach, New approximations for the cone of copositive matrices and its dual, First order conditions for semidefinite representations of convex sets defined by rational or singular polynomials, Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming, The Lov\'asz Theta Function for Random Regular Graphs and Community Detection in the Hard Regime, Polynomial, regular and Nash images of Euclidean spaces, Certificates of positivity in the Bernstein basis, A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals, Some positivstellensätze for polynomial matrices, A strict Positivstellensatz for rings of definable analytic functions, Polynomial designs. I: Polynomial characterizations of common properties of a design, Robust stabilisation of polynomial systems with uncertain parameters, Real algebraic geometry for matrices over commutative rings, An algebraic certificate for Budan's theorem, On the estimation of the equilibrium points of uncertain nonlinear systems, A semialgebraic closure for commutative algebra, A nullstellensatz and a positivstellensatz for ordered differential fields, Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity, Dynamical method in algebra: Effective Nullstellensätze, Real World Verification, A survey on conic relaxations of optimal power flow problem, Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis, An algorithmic approach to Schmüdgen's Positivstellensatz, Complexity of Null- and Positivstellensatz proofs, 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, A note on Nullstellensatz over finite fields, Relative Entropy Relaxations for Signomial Optimization, An augmented Lagrangian algorithm for nonlinear semidefinite programming applied to the covering problem, Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF, Positivstellensätze for polynomial matrices, On the Generation of Positivstellensatz Witnesses in Degenerate Cases, NIL: learning nonlinear interpolants, A sum-of-squares-based procedure to approximate the Pontryagin difference of basic semi-algebraic sets, Size-degree trade-offs for sums-of-squares and positivstellensatz proofs, Sum of squares bounds for the ordering principle, Modular SMT Proofs for Fast Reflexive Checking Inside Coq, The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime, Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\), Radii minimal projections of polytopes and constrained optimization of symmetric polynomials, Computation of generalized real radicals of polynomial ideals, Globally Optimizing Small Codes in Real Projective Spaces, On an extension of Pólya's Positivstellensatz, Global Stability Analysis of Nonlinear Sampled-Data Systems Using Convex Methods, A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field, Real or natural number interpretation and their effect on complexity, Tensor Manifold with Tucker Rank Constraints, Formal Proofs for Nonlinear Optimization, Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
Cites Work
