scientific article; zbMATH DE number 4029737
From MaRDI portal
Publication:3770650
Nash functionsNash varietiesorders on rings or fieldreal algebraic geometryreal algebraic varietiesreal closed fieldssemi-algebraic setstheorem of Nash and TognoliWitt rings
Ordered rings, algebras, modules (06F25) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Non-Archimedean valued fields (12J25) Ordered rings (13J25) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Real algebraic and real-analytic geometry (14Pxx)
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- Géométrie algébrique réelle et formes quadratiques. Journées Soc. Math. Fr., Université de Rennes 1, Mai 1981
- 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 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
- Maximal ideals of regulous functions are not finitely generated
- Semi-algebraic geometry with rational continuous functions
- Piecewise-regular maps
- Geometry of free loci and factorization of noncommutative polynomials
- On Nash images of Euclidean spaces
- Quantum compression relative to a set of measurements
- Rationalizability and logical inference
- Integer homology 3-spheres admit irreducible representations in \(\mathrm{SL}(2,{\mathbb C})\)
- Encoding algebraic power series
- Topology of the intersections of ellipsoids in \(\mathbb{R}^n\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3770650)
