scientific article; zbMATH DE number 1201576

zbMath0912.14023MaRDI QIDQ4210476

Michel Coste, Jacek Bochnak, Marie-Françoise Roy

Publication date: 22 September 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

real algebraic setWitt ringsHilbert's 17th problemNash functionsreal closed fieldssemi-algebraic setsorders on rings or fields

Mathematics Subject Classification ID

Stable classes of vector space bundles in algebraic topology and relations to (K)-theory (55R50) Algebraic theory of quadratic forms; Witt groups and rings (11E81) Witt groups of rings (19G12) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to algebraic geometry (14-01) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Real-analytic and Nash manifolds (58A07) Stratified sets (58A35) Ordered fields (12J15) Real-analytic manifolds, real-analytic spaces (32C05) Stratifications in topological manifolds (57N80) (K)-theory in geometry (19E99) Real algebraic and real-analytic geometry (14Pxx)

Related Items (only showing first 100 items - show all)

Projections and functions of Nash equilibria ⋮ Łojasiewicz inequalities in o-minimal structures ⋮ Stability and genericity for semi-algebraic compact programs ⋮ Real rank with respect to varieties ⋮ Reducible quasi-periodic solutions for the non linear Schrödinger equation ⋮ Hausdorffness for Lie algebra homology of Schwartz spaces and applications to the comparison conjecture ⋮ Continuous rational maps into spheres ⋮ Eigenvalues of symmetric matrices over integral domains ⋮ Metric properties of semialgebraic mappings ⋮ An introduction to vector variational inequalities and some new results ⋮ Stratified-algebraic vector bundles of small rank ⋮ Franks' lemma for \(C^2\)-Mañé perturbations of Riemannian metrics and applications to persistence ⋮ On bounds of the Pythagoras number of the sum of square magnitudes of Laurent polynomials ⋮ A note on semialgebraically proper maps ⋮ Extreme rays of Hankel spectrahedra for ternary forms ⋮ Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets ⋮ Places, cuts and orderings of function fields ⋮ Semialgebraic sets and the Łojasiewicz-Siciak condition ⋮ Markov's inequality and polynomial mappings ⋮ Polynomial diffusions and applications in finance ⋮ Sard property for the endpoint map on some Carnot groups ⋮ Real ideal and the duality of semidefinite programming for polynomial optimization ⋮ Non-commutative varieties with curvature having bounded signature ⋮ Determinantal representations and the Hermite matrix ⋮ On orbit types of semialgebraically proper actions ⋮ Foliations and global injectivity in \(\mathbb R^{n }\) ⋮ Path methods for strong shift equivalence of positive matrices ⋮ Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\) ⋮ On the dimension of the set of two-view multi-homography matrices ⋮ De Rham theorem for Schwartz functions on Nash manifolds ⋮ The theorem of the complement for nested sub-Pfaffian sets ⋮ Integration of semialgebraic functions and integrated Nash functions ⋮ Vector bundles and regulous maps ⋮ The Pythagoras number of real sum of squares polynomials and sum of square magnitudes of polynomials ⋮ The de-Rham theorem and Shapiro lemma for Schwartz functions on Nash manifolds ⋮ Sums of squares on reducible real curves ⋮ On real one-sided ideals in a free algebra ⋮ Relative systoles of relative-essential 2-complexes ⋮ Invariants of binary differential equations ⋮ Cauchy, Goursat and Dirichlet problems for holomorphic partial differential equations ⋮ Optimality conditions and finite convergence of Lasserre's hierarchy ⋮ Relative equilibria in the four-vortex problem with two pairs of equal vorticities ⋮ Description of polygonal regions by polynomials of bounded degree ⋮ Representing simple \(d\)-dimensional polytopes by \(d\) polynomials ⋮ Necessary global optimality conditions for nonlinear programming problems with polynomial constraints ⋮ CAD and topology of semi-algebraic sets ⋮ A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface ⋮ Algorithms for computing the global infimum and minimum of a polynomial function ⋮ A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs ⋮ The convex Positivstellensatz in a free algebra ⋮ Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \) ⋮ The motivic real Milnor fibres ⋮ Global minimization of multivariate polynomials using nonstandard methods ⋮ The dual adjunction between MV-algebras and Tychonoff spaces ⋮ Every convex free basic semi-algebraic set has an LMI representation ⋮ Solving parametric piecewise polynomial systems ⋮ A remark on the generalized Hodge conjecture ⋮ Approximation by continuous rational maps into spheres ⋮ Universal regular control for generic semilinear systems ⋮ A baby step-giant step roadmap algorithm for general algebraic sets ⋮ Some basic theorems on flat \(G\) chains ⋮ Pixelations of planar semialgebraic sets and shape recognition ⋮ Projections and phase retrieval ⋮ \(R\)-analytic functions ⋮ On the set of metrics without local limiting Carleman weights ⋮ Some results of algebraic geometry over Henselian rank one valued fields ⋮ Approximation of maps into spheres by regulous maps ⋮ Continuous functions on the plane regular after one blowing-up ⋮ Determinantal representations and Bézoutians ⋮ Curve-rational functions ⋮ Superexponential stability of quasi-periodic motion in Hamiltonian systems ⋮ Algebraicity of Nash sets and of their asymmetric cobordism ⋮ A search-based procedure for nonlinear real arithmetic ⋮ Free loci of matrix pencils and domains of noncommutative rational functions ⋮ \(q\)-parabolicity of stratified pseudomanifolds and other singular spaces ⋮ Algebraic Levi-flat hypervarieties in complex projective space ⋮ A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium ⋮ Reconstruction of algebraic sets from dynamic moments ⋮ On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases ⋮ Representation of real commutative rings ⋮ Uniqueness of Bessel models: the archimedean case ⋮ Continuous closure of sheaves ⋮ The number of real eigenvectors of a real polynomial ⋮ Generalized Harish-Chandra descent, Gelfand pairs, and an Archimedean analog of Jacquet-Rallis's theorem. With an appendix by the authors and Eitan Sayag. ⋮ Definable smoothing of Lipschitz continuous functions ⋮ Tempered solutions of \(\mathcal D\)-modules on complex curves and formal invariants ⋮ The Nullstellensatz for real coherent analytic surfaces ⋮ Hyperbolic polynomials and generalized Clifford algebras ⋮ Characterizing the universal rigidity of generic frameworks ⋮ Semi-algebraically connected components of minimum points of a polynomial function ⋮ Minimizing rational functions by exact Jacobian SDP relaxation applicable to finite singularities ⋮ The weight filtration for real algebraic varieties. II: Classical homology ⋮ Algebraic models of symmetric Nash sets ⋮ Reparametrizing swung surfaces over the reals ⋮ A Szemerédi-Trotter type theorem in \(\mathbb R^4\) ⋮ Stress matrices and global rigidity of frameworks on surfaces ⋮ Worst-case results for positive semidefinite rank ⋮ Quadratic growth and critical point stability of semi-algebraic functions ⋮ Function theory and holomorphic maps on symmetric products of planar domains ⋮ Simultaneous resolution of singularities in the Nash category: finiteness and effectiveness

This page was built for publication: