Publication:3770650

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

Publication date: 1987

Witt rings; Nash functions; real algebraic varieties; real algebraic geometry; real closed fields; semi-algebraic sets; Nash varieties; orders on rings or field; theorem of Nash and Tognoli

Mathematics Subject Classification ID

12D15: Fields related with sums of squares (formally real fields, Pythagorean fields, etc.)

14-02: Research exposition (monographs, survey articles) pertaining to algebraic geometry

06F25: Ordered rings, algebras, modules

12J25: Non-Archimedean valued fields

13J25: Ordered rings

14Pxx: Real algebraic and real-analytic geometry

Related Items

Three term recurrence relation modulo ideal and orthogonality of polynomials of several variables, Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets, The parametrization of canal surfaces and the decomposition of polynomials into a sum of two squares, Local observability of nonlinear systems, A weak version of the Blum, Shub, and Smale model, Equivariant differential topology in an o-minimal expansion of the field of real numbers, Equivariant semialgebraic vector bundles, Lattice-ordered reduced special groups, Complexity of computation on real algebraic numbers, Sur la vie et l'oeuvre de François Budan (1761--1840). (On the life and work of F. Budan), Normal matrices over Hermitian discrete valuation rings, Real reduced multirings and multifields, The Lefschetz coincidence theorem in o-minimal expansions of fields, On splitting the Knebusch-Milnor exact sequence, On the moduli spaces of multipolygonal linkages in the plane, Alternative evidence for nonnegativity, Noncommutative convexity arises from linear matrix inequalities, Normal linear stability of quasi-periodic tori, Representations of positive polynomials on noncompact semialgebraic sets via KKT ideals, On the limit set at infinity of a gradient trajectory of a semialgebraic function, On the complexity of Putinar's Positivstellensatz, On the complexity of Schmüdgen's Positivstellensatz, Projective modules over real affine algebras, Bezout theorem for Nash functions, Nash functions over real spectra, A note on linear differential equations with periodic coefficients, Recursive polynomial remainder sequence and its subresultants, Computing Nash equilibria by iterated polymatrix approximation, Topological complexity of the relative closure of a semi-Pfaffian couple, On the Pierce-Birkhoff conjecture in three variables, Some lower bounds for the complexity of the linear programming feasibility problem over the reals, o-minimal analytic separation of sets in dimension 2, Semi-algebraic neighborhoods of closed semi-algebraic sets, Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials, Projective modules over smooth, affine varieties over Archimedean real closed fields, A prolongation-projection algorithm for computing the finite real variety of an ideal, Isotopic triangulation of a real algebraic surface, Horizontal gradient of polynomials, The p-adic spectrum, Separably real closed local rings, A bibliography of quantifier elimination for real closed fields, Approximation of \(C^{\infty}\)-functions without changing their zero-set, Remarks on universal nonsingular controls for discrete-time systems, Bounding the number of connected components of a real algebraic set, Orderings and real places on commutative rings, Invariant computations for analytic projective geometry, Computational algebraic geometry of projective configurations, Existence and uniqueness of the real closure of an ordered field without Zorn's lemma, A singly exponential stratification scheme for real semi-algebraic varieties and its applications, Symbolic calculus on nilpotent Lie groups and applications, A computational model for algebraic power series, Central Nullstellensätze in real analytic geometry, Computing the maximum robust controlled invariant subspace, Moment functions on real algebraic sets, \(C^ p\) singularity theory and heteroclinic bifurcation with a distinguished parameter, Test complexity of generic polynomials, Two \(P\)-complete problems in the theory of the reals, A theorem on the escape from the space of hyperbolic polynomials, Verification complexity of linear prime ideals, Obreschkoff's theorem revisited: What convex sets are contained in the set of hyperbolic polynomials?, The joint embedding property in normal open induction, A dimension theorem for real spectra, On gradients of functions definable in o-minimal structures, Volumes, Rolle leaves of analytic foliations and Wilkie's theorem, Analysis of the local robustness of stability for flows, Orderings, real places, and valuations on noncommutative integral domains, An algorithm for sums of squares of real polynomials, Gabriel topologies on coherent quantales, On the geometric genus of projective curves, On fans in real surfaces, Betti numbers of semi-Pfaffian sets, Real algebraic threefolds. III. Conic bundles, Complexity of computing the local dimension of a semialgebraic set, Saturation and stability in the theory of computation over the reals, On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases, Separating families for semi-algebraic sets, A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field, Description of the connected components of a semialgebraic set in single exponential time, Rational Samuelson maps are univalent, Groups definable in local fields and pseudo-finite fields, Expansions of the real field with power functions, Stochastic realization of a Gaussian stochastic control system, Compactification via the real spectrum of spaces of classes of representations in \(SO(n,1)\), On semi- and subanalytic geometry, Separation of complexity classes in Koiran's weak model, Almost tight upper bounds for lower envelopes in higher dimensions, On the polynomial-like behaviour of certain algebraic functions, Radicals of binomial ideals, Polynomial-time computation of the dimensions of components of algebraic varieties in zero-characteristic, On computing a set of points meeting every cell defined by a family of polynomials on a variety, Semi-algebraic complexity -- Additive complexity of matrix computational tasks, On a Harnack-Natanzon theorem for the family of real forms of Riemann surfaces, The real spectrum of a noncommutative ring, Virtual roots of real polynomials, Computation of real radicals of polynomial ideals. II, Null- and Positivstellensätze for generalized real closed fields, Smooth structures on certain moduli spaces for bundles on a surface, Constructive rereading of Artin-Schreier theory, Uniqueness of unibranched curve in \(\mathbb{R}^2\) up to simple blowings up, Reachability and connectivity queries in constraint databases, Finiteness property for generalized abelian integrals., Rings of analytic functions definable in o-minimal structure, Virtual Betti numbers of real algebraic varieties., Maximal functions and singular integrals associated to polynomial mappings of \(\mathbb R^ n\)., Persistence of Hamiltonian relative periodic orbits., Intrinsic curvatures in analytic-geometric categories, Algebraic and analytic finite spaces of orderings., Residuated fuzzy logics with additional connectives and their validation sets., An optimization of Seidenberg's elimination algorithm in differential algebra., Dynamic evaluation and real closure., Analytic stratification in the Pfaffian closure of an \(o\)-minimal structure, Isomorphism theorem for BSS recursively enumerable sets over real closed fields, Moments and positivity, The order structure of the real spectrum of commutative rings, On the complexity of the real Nullstellensatz in the 0-dimensional case, Determining the number and structure of phylogenetic invariants., Uniqueness questions in real algebraic transformation groups, Witt group and torsion Picard group of real curves, Embedding ordered fields in formal power series fields, Piecewise algebraic curve, Semialgebraic complexity of functions, Liouville closed \(H\)-fields, An analysis of separable least squares data driven local coordinates for maximum likelihood estimation of linear systems, Zilber's conjecture for some o-minimal structures over the reals, On the arithmetic genus of rational curves, Connected sum of compact analytic hypersurfaces, The surjectivity of a constant coefficient homogeneous differential operator in the real analytic functions and the geometry of its symbol, On the decisional complexity of problems over the reals, Real plane algebraic curves., Polynomial images of \(\mathbb{R}^n\), *-orderings and *-valuations on algebras of finite Gelfand-Kirillov dimension., An orientation for the SU(2)-representation space of knot groups, Systems of rational polynomial equations have polynomial size approximate zeros on the average, On the local algebraizibility of real analytic generic submanifolds in \(\mathbb{C}^n\), \(p\)-adic ideals of \(p\)-rank \(d\) and the \(p\)-adic Nullstellensatz., An analysis of the parametrization by data driven local coordinates for multivariable linear systems, A note on projective modules over real affine algebras, Computing the Betti numbers of arrangements via spectral sequences, Places of algebraic function fields in arbitrary characteristic, Almost tight upper bounds for the single cell and zone problems in the three dimensions, The asymptotic values of a polynomial function on the real plane, Hilbert's problems and their sequels, Semi-algebraic decision complexity, the real spectrum, and degree, On open real polynomial maps, An effective version of Pólya's theorem on positive definite forms, Geometric categories and o-minimal structures, Hilbert's 17th problem and best dual bounds in quadratic minimization, Nonstandard decision methods for the solvability of real polynomial equations, Algebraic maps from spheres to spheres, The real dimension problem is \(\text{NP}_{\mathbb R}\)-complete., Time-space tradeoffs in algebraic complexity theory, O-minimal \(\Lambda ^{m}\)-regular stratification, On the evolutionary selection of sets of Nash equilibria, Global Nash convergence of Foster and Young's regret testing, Distinguished representations of non-negative polynomials, Generalized polar varieties: geometry and algorithms, Cremona transformations and diffeomorphisms of surfaces, Generic determinacy of Nash equilibrium in network-formation games, Equivalence of state representations for hidden Markov models, The pp conjecture for the space of orderings of the field \(\mathbb R(x,y)\), Determination of the tangents for a real plane algebraic curve, Computing the first few Betti numbers of semi-algebraic sets in single exponential time, Second order homological obstructions on real algebraic manifolds, Intersection differential forms, Brouwer's degree without properness, Non-oscillating solutions of a differential equation and Hardy fields, Bounds for the geodesic diameter of connection components of semi-algebraic open sets, Algebraic cycles from a computational point of view, Smooth functions in o-minimal structures, A bilipschitz version of Hardt's theorem, Multidimensional residues and polynomial equations, Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets, A nonsmooth Morse--Sard theorem for subanalytic functions, Locally definable groups in o-minimal structures, Matrix representations for positive noncommutative polynomials, Establishing stability and instability of matrix hypercubes, Crossing patterns of semi-algebraic sets, Note on a paper of J. Llibre and G. Rodríguez concerning algebraic limit cycles, The geometry of Minkowski spaces -- a survey. II., Parametrization of approximate algebraic surfaces by lines, Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert), Stability results for projective modules over blowup rings, A Sard theorem for tame set-valued mappings, Compactification of varieties, Convex polarities over ordered fields, Which are the simplest algebraic varieties?, Algebraic cycles and algebraic models of smooth manifolds, On Prime Ideals in Rings of Semialgebraic Functions, Betti number bounds for fewnomial hypersurfaces via stratified Morse theory, Geometric interplay between function subspaces and their rings of differential operators, On real algebraic models of smooth manifolds, Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander, Algebraic vector bundles over real algebraic varieties, Elliptic curves and real algebraic morphisms into the 2-sphere, Sur les représentations différentiables des groupes de Lie algébriques, Algorithme de multiplicativité des sommes de carrés, Complex Cycles on Real Algebraic Models of a Smooth Manifold, The Nash conjecture for threefolds, Real algebraic threefolds II. Minimal model program, Genericity of observability of control-affine systems, On global Nash functions, Sur les ensembles semi-analytiques avec conditions Gevrey au bord, Algebraically constructible functions1, Unnamed Item, Unnamed Item, Sums of squares of regular functions on real algebraic varieties, Sur la complexité du principe de Tarski-Seidenberg, Unnamed Item, Algebraic Cycles and Approximation Theorems in Real Algebraic Geometry, Orbit theorems for semigroup of regular morphisms and nonlinear discrete time systems, Infinite Differentiability in Polynomially Bounded O-Minimal Structures, The link of the germ of a semi-algebraic metric space, Polynomials over the reals in proofs of termination : from theory to practice, Finding at least one point in each connected component of a real algebraic set defined by a single equation, Proper parametrization of real tubular surfaces, Space of real arc germs and Poincaré series of a semi-algebraic set, Fundamental class of real algebraic sets, On the generic finiteness of equilibrium outcomes in plurality games, Motivic torsors, Compact surfaces as configuration spaces of mechanical linkages, Real algebraic differential forms on complex algebraic varieties, Pythagoras numbers of real irreducible algebroid curves and Gram matrices, Hilbert's basis theorem for *-radical ideals, Sums of powers in function fields, The \(t\)-invariant of analytic set germs of dimension 2., A new method to obtain lower bounds for polynomial evaluation, Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity, The stability of saturated linear dynamical systems is undecidable, Improved algorithms for linear complementarity problem arising from collision response, Algebraically constructible chains., Dynamical method in algebra: Effective Nullstellensätze, On the neutral component of the Jacobian of a real algebraic curve having many components, On the Pythagoras numbers of real analytic rings, On affine complete intersections with isolated singularities., A question of divisibility of an analytic germ by a polynomial, Symmetric sign pattern matrices that require unique inertia, Complexity of Null- and Positivstellensatz proofs, Separation of semialgebraic sets