Anneaux preordonnes

From MaRDI portal
Publication:2395891

DOI10.1007/BF02807438zbMath0134.03902WikidataQ29040101 ScholiaQ29040101MaRDI QIDQ2395891

Jean-Louis Krivine

Publication date: 1964

Published in: Journal d'Analyse Mathématique (Search for Journal in Brave)




Related Items (74)

The Noncommutative Graded PositivstellensatzMathematical programming methods for microgrid design and operations: a survey on deterministic and stochastic approachesImpossibility of \(C^{\infty}\) variation or formal power series variation in solutions to Hilbert's 17th problemLifting the Convex Conjugate in Lagrangian Relaxations: A Tractable Approach for Continuous Markov Random FieldsInvariance and monotonicity of nonlinear systems on time scalesMoment problem in infinitely many variablesDisordered systems insights on computational hardnessUnnamed ItemSparse noncommutative polynomial optimizationConvexifying Positive Polynomials and Sums of Squares ApproximationConstructive Gelfand duality for C*-algebrasPositivity certificates and polynomial optimization on non-compact semialgebraic setsSparse-BSOS: a bounded degree SOS hierarchy for large scale polynomial optimization with sparsityCouples spectraux et faisceaux associés. Applications aux anneaux de fonctionsCertifying the global optimality of quartic minimization over the sphereAlternative evidence for nonnegativityReal algebraic geometry with a view toward systems control and free positivity. Abstracts from the workshop held April 6--12, 2014.A numerical evaluation of the bounded degree sum-of-squares hierarchy of Lasserre, Toh, and Yang on the pooling problemSum of squares and the Łojasiewicz exponent at infinityA bounded degree SOS hierarchy for polynomial optimizationConstructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\)Computation of real radicals of polynomial ideals. IIFaithfully quadratic ringsOn the effective Putinar's Positivstellensatz and moment approximationUniversal continuous calculus for Su*‐algebrasTight size-degree bounds for sums-of-squares proofsStability analysis of a bacterial growth model through computer algebraA real nullstellensatz for free modulesPositivstellensatz for homogeneous semialgebraic setsOn the Construction of Converging Hierarchies for Polynomial Optimization Based on Certificates of Global PositivityAn Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problemSymmetry reduction of states. IAn intertwined Cauchy-Schwarz-type inequality based on a Lagrange-type identityStrict positivstellensätze for matrix polynomials with scalar constraintsComputing real radicals and \(S\)-radicals of polynomial systemsRational certificates of non-negativity on semialgebraic subsets of cylindersDegree Bounds for Putinar’s Positivstellensatz on the HypercubeStellensätze for matrices over a commutative ringOn the complexity of testing attainment of the optimal value in nonlinear optimizationA Positivstellensatz for Sums of Nonnegative Circuit PolynomialsOn the Bennett-Hoeffding inequalityComputing the Hausdorff Boundary Measure of Semialgebraic SetsDSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite OptimizationRepresentation of Abelian Groups and Rings by Families of Real-Valued FunctionsInvariant computations for analytic projective geometryA Kadison-Dubois representation for associative rings.The Valuation Difference Rank of a Quasi-Ordered Difference FieldA note on convex relaxations for the inverse eigenvalue problemThe Lov\'asz Theta Function for Random Regular Graphs and Community Detection in the Hard RegimeEmbedding a Partially Ordered Ring in a Division AlgebraSome positivstellensätze for polynomial matricesA strict Positivstellensatz for rings of definable analytic functionsReal algebraic geometry for matrices over commutative ringsAn algebraic certificate for Budan's theoremThe truncated K-moment problem for closure of open setsA new bounded degree hierarchy with SOCP relaxations for global polynomial optimization and conic convex semi-algebraic programsPositivstellensätze for differentiable functionsA nullstellensatz and a positivstellensatz for ordered differential fieldsRepresentation of real commutative ringsAbout Stone's notion of spectrumMoment problem for symmetric algebras of locally convex spacesAn algorithmic approach to Schmüdgen's PositivstellensatzAlgebraic Characterization of Rings of Continuousp-Adic Valued FunctionsIntroduction to Semidefinite, Conic and Polynomial OptimizationRelative Entropy Relaxations for Signomial OptimizationSolving sparse polynomial optimization problems with chordal structure using the sparse bounded-degree sum-of-squares hierarchyPositivstellensätze for polynomial matricesOn the Generation of Positivstellensatz Witnesses in Degenerate CasesSize-degree trade-offs for sums-of-squares and positivstellensatz proofsA Survey of Satisfiability Modulo TheoryNewton polytopes and relative entropy optimizationThe Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard RegimeOn an extension of Pólya's PositivstellensatzA real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field



Cites Work


This page was built for publication: Anneaux preordonnes