Anneaux preordonnes
From MaRDI portal
Publication:2395891
DOI10.1007/BF02807438zbMATH Open0134.03902WikidataQ29040101 ScholiaQ29040101MaRDI QIDQ2395891FDOQ2395891
Authors: Jean-Louis Krivine 
Publication date: 1964
Published in: Journal d'Analyse Mathématique (Search for Journal in Brave)
Cites Work
Cited In (85)
- Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\)
- Faithfully quadratic rings
- An algebraic certificate for Budan's theorem
- A Positivstellensatz for sums of nonnegative circuit polynomials
- Size-degree trade-offs for sums-of-squares and positivstellensatz proofs
- A real nullstellensatz for free modules
- The truncated K-moment problem for closure of open sets
- The Lovász theta function for random regular graphs and community detection in the hard regime
- Representation of Abelian Groups and Rings by Families of Real-Valued Functions
- A note on convex relaxations for the inverse eigenvalue problem
- About Stone's notion of spectrum
- Impossibility of \(C^{\infty}\) variation or formal power series variation in solutions to Hilbert's 17th problem
- The valuation difference rank of a quasi-ordered difference field
- On the construction of converging hierarchies for polynomial optimization based on certificates of global positivity
- Relative entropy relaxations for signomial optimization
- A new bounded degree hierarchy with SOCP relaxations for global polynomial optimization and conic convex semi-algebraic programs
- Algebraic characterization of rings of continuous \(p\)-adic valued functions
- Invariance and monotonicity of nonlinear systems on time scales
- Alternative evidence for nonnegativity
- On an extension of Pólya's Positivstellensatz
- Moment problem for symmetric algebras of locally convex spaces
- Positivstellensätze for differentiable functions
- A Kadison-Dubois representation for associative rings.
- Sum of squares and the Łojasiewicz exponent at infinity
- The Lovász theta function for random regular graphs and community detection in the hard regime
- Computation of real radicals of polynomial ideals. II
- A numerical evaluation of the bounded degree sum-of-squares hierarchy of Lasserre, Toh, and Yang on the pooling problem
- Positivity certificates and polynomial optimization on non-compact semialgebraic sets
- The Noncommutative Graded Positivstellensatz
- DSOS and SDSOS optimization: more tractable alternatives to sum of squares and semidefinite optimization
- The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs
- Constructive Gelfand duality for C*-algebras
- Couples spectraux et faisceaux associés. Applications aux anneaux de fonctions
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- Certifying the global optimality of quartic minimization over the sphere
- Positivstellensatz for homogeneous semialgebraic sets
- A survey of satisfiability modulo theory
- Computing real radicals and \(S\)-radicals of polynomial systems
- On the Bennett-Hoeffding inequality
- Invariant computations for analytic projective geometry
- Tight size-degree bounds for sums-of-squares proofs
- Computing the Hausdorff boundary measure of semialgebraic sets
- 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
- A nullstellensatz and a positivstellensatz for ordered differential fields
- Introduction to semidefinite, conic and polynomial optimization
- Newton polytopes and relative entropy optimization
- Convexifying positive polynomials and sums of squares approximation
- Moment problem in infinitely many variables
- Some positivstellensätze for polynomial matrices
- Strict positivstellensätze for matrix polynomials with scalar constraints
- Sparse noncommutative polynomial optimization
- Positivstellensätze for polynomial matrices
- Solving sparse polynomial optimization problems with chordal structure using the sparse bounded-degree sum-of-squares hierarchy
- Real algebraic geometry for matrices over commutative rings
- Mathematical programming methods for microgrid design and operations: a survey on deterministic and stochastic approaches
- On the complexity of testing attainment of the optimal value in nonlinear optimization
- Representation of real commutative rings
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases
- Sparse-BSOS: a bounded degree SOS hierarchy for large scale polynomial optimization with sparsity
- An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
- An algorithmic approach to Schmüdgen's Positivstellensatz
- A strict Positivstellensatz for rings of definable analytic functions
- Reducing nonnegativity over general semialgebraic sets to nonnegativity over simple sets
- CS-TSSOS: correlative and term sparsity for large-scale polynomial optimization
- Semialgebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative?
- Stellensätze for matrices over a commutative ring
- Positive rigs
- The moment-SOS hierarchy: applications and related topics
- Universal continuous calculus for Su*‐algebras
- Embedding a Partially Ordered Ring in a Division Algebra
- An intertwined Cauchy-Schwarz-type inequality based on a Lagrange-type identity
- Sum-of-squares certificates for copositivity via test states
- Rational certificates of non-negativity on semialgebraic subsets of cylinders
- Degree Bounds for Putinar’s Positivstellensatz on the Hypercube
- On Łojasiewicz inequalities and the effective Putinar's Positivstellensatz
- Absolute concentration robustness: algebra and geometry
- Disordered systems insights on computational hardness
- Computing real radicals by moment optimization
- Lifting the convex conjugate in Lagrangian relaxations: a tractable approach for continuous Markov random fields
- Real Nullstellensatz for 2-step nilpotent Lie algebras
- Rings of almost everywhere defined functions
- Stability analysis of a bacterial growth model through computer algebra
- On the effective Putinar's Positivstellensatz and moment approximation
- Symmetry reduction of states. I
This page was built for publication: Anneaux preordonnes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2395891)
