scientific article

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

Publication date: 1987

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

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

Related Items

Corrigendum to ``Approximation on Nash sets with monomial singularities [Adv. Math. 262 (2014) 59-114], Sheaves on $\mathcal T$-topologies, Real reduced multirings and multifields, The structure of multivariate AR and ARMA systems: regular and singular systems; the single and the mixed frequency case, Characterization of regularity for a connected abelian action, Algebraic criteria of global observability of polynomial systems, Invariance and monotonicity of nonlinear systems on time scales, Algebraic boundaries of convex semi-algebraic sets, Some conjectures on continuous rational maps into spheres, Detecting curves of symmetry in images via Hough transform, The Lefschetz coincidence theorem in o-minimal expansions of fields, On smooth hypersurfaces containing a given subvariety, Bisector energy and few distinct distances, Regulous functions, Competitive equilibria in semi-algebraic economies, Geometry of configuration spaces of tensegrities, A short proof for the open quadrant problem, Global completability with applications to self-consistent quantum tomography, On splitting the Knebusch-Milnor exact sequence, On the moduli spaces of multipolygonal linkages in the plane, Singularities of slice regular functions over real alternative $^{\ast}$-algebras, Alternative evidence for nonnegativity, Noncommutative convexity arises from linear matrix inequalities, On the solvability of derived matrix problems, including completions and duals, 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, Adiabatic approximation for a two-level atom in a light beam, Extending piecewise polynomial functions in two variables, On the complexity of Putinar's Positivstellensatz, The parametrization of canal surfaces and the decomposition of polynomials into a sum of two squares, Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems, A regularization approach for estimating the type of a plane curve singularity, Parameterized Picard-Vessiot extensions and Atiyah extensions, Regular versus continuous rational maps, Real closed rings and real closed $\ast$ rings, On Łojasiewicz's inequality and the nullstellensatz for rings of semialgebraic functions, An improved algorithm for deciding semi-definite polynomials, Divisors in global analytic sets, $h$-cobordism and $s$-cobordism theorems: transfer over semialgebraic and Nash categories, uniform bound and effectiveness, Refined bounds on the number of connected components of sign conditions on a variety, Global optimization of polynomials restricted to a smooth variety using sums of squares, On the isotopic meshing of an algebraic implicit surface, Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian, Approximate roots of a valuation and the Pierce-Birkhoff conjecture, Spectral real semigroups, Henriksen's contributions to residue class rings of analytic and entire functions, Real homotopy theory of semi-algebraic sets, On differentially closed ordered fields, An analytical study on the multi-critical behaviour and related bifurcation phenomena for relativistic black hole accretion, Polynomials with and without determinantal representations, The truncated moment problem via homogenization and flat extensions, On representations of real Nash groups, On the generic and typical ranks of 3-tensors, Spatial reasoning with $\mathcal{RCC} 8$ and connectedness constraints in Euclidean spaces, Divide and conquer roadmap for algebraic sets, On Nash approximation of complex analytic sets in Runge domains, On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials, Cyclic 2-structures and spaces of orderings of power series fields in two variables, Discriminants and nonnegative polynomials, Finsler's lemma for matrix polynomials, Graph components of prime spectra, Strong shift equivalence and positive doubly stochastic matrices, Fixed points of parameterized perturbations, Computation of topological invariants for real projective surfaces with isolated singularities, Separating inequalities for nonnegative polynomials that are not sums of squares, Robust stability and instability of biochemical networks with parametric uncertainty, Algebraic bounds on analytic multiplier ideals, On the geometry of polynomial mappings at infinity, Counting multijoints, A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals, Proving inequalities and solving global optimization problems via simplified CAD projection, The topology of fibers of stable quadratic mappings, Positive primitive formulae of modules over rings of semi-algebraic functions on a curve, Local observability of nonlinear systems, A weak version of the Blum, Shub, and Smale model, Arc-wise analytic stratification, Whitney fibering conjecture and Zariski equisingularity, On Pillay's conjecture in the general case, Algebraic approximation preserving dimension, On the Waring rank of binary forms, An algebraic certificate for Budan's theorem, On the approximation of functions on a Hodge manifold, Sharp bounds for the number of roots of univariate fewnomials, Riesz-haviland criterion for incomplete data, A semialgebraic closure for commutative algebra, Equivariant differential topology in an o-minimal expansion of the field of real numbers, Equivariant semialgebraic vector bundles, Identification and estimation of non-Gaussian structural vector autoregressions, Lattice-ordered reduced special groups, Three term recurrence relation modulo ideal and orthogonality of polynomials of several variables, Some new results on decidability for elementary algebra and geometry, Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets, Zarankiewicz's problem for semi-algebraic hypergraphs, Point-curve incidences in the complex plane, Decay of eigenfunctions of elliptic PDE's. II., A deterministic polynomial-time algorithm for the first Bertini theorem. III, Complexity of computation on real algebraic numbers, Some nondefinability results with entire functions in a polynomially bounded o-minimal structure, 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, Expansions of the real field with power functions, Stochastic realization of a Gaussian stochastic control system, Separably real closed local rings, 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, A bibliography of quantifier elimination for real closed fields, 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, Approximation of $C^{\infty}$-functions without changing their zero-set, On the complexity of Schmüdgen's Positivstellensatz, 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, Remarks on universal nonsingular controls for discrete-time systems, Uniqueness of unibranched curve in $\mathbb{R}^2$ up to simple blowings up, Invariance of o-minimal cohomology with definably compact supports, On the Krull dimension of rings of continuous semialgebraic functions, Reachability and connectivity queries in constraint databases, Finiteness property for generalized abelian integrals., Rings of analytic functions definable in o-minimal structure, Analyzing ultimate positivity for solvable systems, The Dines theorem and some other properties of quadratic mappings, Virtual Betti numbers of real algebraic varieties., Projective modules over real affine algebras, 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, Bezout theorem for Nash functions, Nash functions over real spectra, A note on linear differential equations with periodic coefficients, Algebraic and analytic finite spaces of orderings., Residuated fuzzy logics with additional connectives and their validation sets., 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, Recursive polynomial remainder sequence and its subresultants, Computing Nash equilibria by iterated polymatrix approximation, Moment functions on real algebraic sets, $C^ p$ singularity theory and heteroclinic bifurcation with a distinguished parameter, Topological complexity of the relative closure of a semi-Pfaffian couple, 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, Projective modules over smooth, affine varieties over real closed fields, Verification complexity of linear prime ideals, Obreschkoff's theorem revisited: What convex sets are contained in the set of hyperbolic polynomials?, Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials, Clifford's theorem for real algebraic curves, The joint embedding property in normal open induction, Certificates of convexity for basic semi-algebraic sets, Costly network formation and regular equilibria, The Procesi-Schacher conjecture and Hilbert's 17th problem for algebras with involution., A note on the evaluation of information in zero-sum repeated games, Local Bézout theorem, 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, A dimension theorem for real spectra, On gradients of functions definable in o-minimal structures, 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, Volumes, Rolle leaves of analytic foliations and Wilkie's theorem, Analysis of the local robustness of stability for flows, A prolongation-projection algorithm for computing the finite real variety of an ideal, An optimization of Seidenberg's elimination algorithm in differential algebra., Isotopic triangulation of a real algebraic surface, Orderings, real places, and valuations on noncommutative integral domains, Horizontal gradient of polynomials, 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, The p-adic spectrum, $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, Maximal ideals of regulous functions are not finitely generated, A note on projective modules over real affine algebras, Semi-algebraic geometry with rational continuous functions, Piecewise-regular maps, Stratified-algebraic vector bundles, Computing the Betti numbers of arrangements via spectral sequences, Places of algebraic function fields in arbitrary characteristic, 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})$, Almost tight upper bounds for the single cell and zone problems in the three dimensions, Encoding algebraic power series, 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, Topology of the intersections of ellipsoids in $\mathbb{R}^n$, Geometric categories and o-minimal structures, The Chow form of the essential variety in computer vision, The convex geometry of linear inverse problems, Spectral reflections of topological spaces, Polynomial bound on the local Betti numbers of a real analytic germ, Real intersection homology, Eliminating disjunctions by disjunction elimination, Asymmetric TP and TN completion problems, Valuations and asymptotic invariants for sequences of ideals, Optimization approaches to quadrature: new characterizations of Gaussian quadrature on the line and quadrature with few nodes on plane algebraic curves, on the plane and in higher dimensions, Homotopy type of moduli spaces of G-Higgs bundles and reducibility of the nilpotent cone, Chabauty compactification of the space of Cartan subgroups of $\mathrm{SL}_n(\mathbb R)$, Universality and optimality in the information-disturbance tradeoff, Real holomorphy rings and the complete real spectrum, 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, Numerical algebraic geometry and semidefinite programming, Typical and admissible ranks over fields, Diophantine approximations on definable sets, Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications, Higher order approximation of analytic sets by topologically equivalent algebraic sets, Diophantine approximation on matrices and Lie groups, Topological resonances on quantum graphs, Extensions of arc-analytic functions, Compactification of the group of rigid motions and applications to robotics, Grid methods in computational real algebraic (and semialgebraic) geometry, Model selection and local geometry, Validity proof of Lazard's method for CAD construction, Determining the limits of bivariate rational functions by Sturm's theorem, A reduction for the distinct distances problem in $\mathbb{R}^d$, Semialgebraic complexity of functions, On the exactness of Lasserre relaxations and pure states over real closed fields, An introduction to matrix convex sets and free spectrahedra, Solving the equality-constrained minimization problem of polynomial functions, Offset hypersurfaces and persistent homology of algebraic varieties, Liouville closed $H$-fields, Positive univariate trace polynomials, An analysis of separable least squares data driven local coordinates for maximum likelihood estimation of linear systems, Scheiderer motives and equivariant higher topos theory, A semidefinite relaxation method for second-order cone tensor eigenvalue complementarity problems, Discriminants of cyclic homogeneous inequalities of three variables, Guaranteed error bounds for structured complexity reduction of biochemical networks, Semialgebraic sets and real binary forms decompositions, The uniform measure of simple regular sets of infinite trees, Approximations in globally subanalytic and Denjoy-Carleman classes, A general incidence bound in $\mathbb{R}^d$, Subfields of a real closed field of countable codimension, Strong accessibility and integral manifolds of the continuous-time nonlinear control systems, From low- to high-dimensional moments without magic, The tight approximation property, Zilber's conjecture for some o-minimal structures over the reals, Stratified ${{\mathcal{C}}}^P$-semialgebraic triviality, On the arithmetic genus of rational curves, The algebraic geometry of perfect and sequential equilibrium: an extension, Internalization of social cost in congestion games, Connected sum of compact analytic hypersurfaces, 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, The surjectivity of a constant coefficient homogeneous differential operator in the real analytic functions and the geometry of its symbol, On the complexity of the real Nullstellensatz in the 0-dimensional case, Determining the number and structure of phylogenetic invariants., On the decisional complexity of problems over the reals, Real plane algebraic curves., Uniqueness questions in real algebraic transformation groups, Witt group and torsion Picard group of real curves, Embedding ordered fields in formal power series fields, 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$, Piecewise algebraic curve, Algebraic Cycles and Approximation Theorems in Real Algebraic Geometry, Elliptic curves and real algebraic morphisms into the 2-sphere, Sums of three squares and Noether–Lefschetz loci, The stationary phase method for real analytic geometry, Sur les représentations différentiables des groupes de Lie algébriques, Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry, On the degenerations of solvable Leibniz algebras, The Convex Hull of a Variety, A Sard theorem for tame set-valued mappings, Compactification of varieties, On real algebraic models of smooth manifolds, On global Nash functions, Sum of squares and the Łojasiewicz exponent at infinity, Welschinger Invariants Revisited, Sur les ensembles semi-analytiques avec conditions Gevrey au bord, Convex polarities over ordered fields, A note on Lavi’s paper “A Ganzstellensatz for semi-algebraic sets and a boundedness criterion for rational functions”, On the extension of bi-Lipschitz mappings, Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander, Almost everywhere generalized phase retrieval, Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions, Algebraic realization of actions of some finite groups, On finiteness of prime cones over simple ADE-singularities of dimension one, The Wadge hierarchy on Zariski topologies, A version of Cartan’s Theorem A for coherent sheaves on real affine varieties, Image completion and blind deconvolution: model and algorithm, Frames over finite fields: basic theory and equiangular lines in unitary geometry, Nashtriviality and generalized critical values, The multidimensional truncated moment problem: the moment cone, Hyperbolic secant varieties of $M$-curves, Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics, Unnamed Item, Dynamical quantum tomography, Algorithme de multiplicativité des sommes de carrés, Sums of squares. I: Scalar functions, Multi-criticality and related bifurcation in accretion discs around non-rotating black holes: an analytical study, Non-Archimedean integrals as limits of complex integrals, Lipschitz continuity of tangent directions at infinity, Ranks of linear matrix pencils separate simultaneous similarity orbits, Constrained quantum tomography of semi-algebraic sets with applications to low-rank matrix recovery, Orbit theorems for semigroup of regular morphisms and nonlinear discrete time systems, Sums of even powers of $k$-regulous functions, Algebraic vector bundles over real algebraic varieties, Algebraically constructible functions1, Constructing a polynomial whose nodal set is any prescribed knot or link, Two-dimensional translation-invariant probability distributions: approximations, characterizations and no-go theorems, Computing the first few Betti numbers of semi-algebraic sets in single exponential time, On Prime Ideals in Rings of Semialgebraic Functions, On the positivstellensatz in Weyl’s algebra, Second order homological obstructions on real algebraic manifolds, Intersection differential forms, On the equivariant blow-Nash classification of simple invariant Nash germs, DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS, Brouwer's degree without properness, Non-oscillating solutions of a differential equation and Hardy fields, Real identifiability vs. complex identifiability, Bounds for the geodesic diameter of connection components of semi-algebraic open sets, Which are the simplest algebraic varieties?, Algebraic cycles from a computational point of view, Definability in o-minimal expansions of the real numbers, Complex Cycles on Real Algebraic Models of a Smooth Manifold, Infinite Differentiability in Polynomially Bounded O-Minimal Structures, Smooth functions in o-minimal structures, A bilipschitz version of Hardt's theorem, Unnamed Item, Multidimensional residues and polynomial equations, Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets, Algebraic cycles and algebraic models of smooth manifolds, 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, Łojasiewicz-type inequalities with explicit exponents for the largest eigenvalue function of real symmetric polynomial matrices, Sums of squares of regular functions on real algebraic varieties, Formality of the little N-disks operad, On the number of intersection points of the contour of an amoeba with a line, Extending positive definiteness, Sur la complexité du principe de Tarski-Seidenberg, Betti number bounds for fewnomial hypersurfaces via stratified Morse theory, AN INVERSE MAPPING THEOREM FOR BLOW-NASH MAPS ON SINGULAR SPACES, Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications, Restriction for homogeneous polynomial surfaces in $\mathbb {R}^3$, Some remarks on global analytic planar vector fields possessing an invariant analytic set, The Nash conjecture for threefolds, Link between Noetherianity and the Weierstrass Division Theorem on some quasianalytic local rings, On the non-analyticity locus of an arc-analytic function, Separately Nash and arc‐Nash functions over real closed fields, Crossing patterns of semi-algebraic sets, Geometric interplay between function subspaces and their rings of differential operators, Unnamed Item, Note on a paper of J. Llibre and G. Rodríguez concerning algebraic limit cycles, A note on approximation and homotopy in $C(X,S^n)$, $n=1,3,7$, The geometry of Minkowski spaces -- a survey. II., Real algebraic threefolds II. Minimal model program, 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), Reconstruction of a homogeneous polynomial from its additive decompositions when identifiability fails, Stability results for projective modules over blowup rings, Genericity of observability of control-affine systems, Separation of semialgebraic sets, Null- and positivstellensätze for rationally resolvable ideals, Prescribing Ricci curvature on homogeneous spaces, Perturbation of polynomials and applications to the Hough transform, Homogeneous polynomials and spurious local minima on the unit sphere, O-minimal $\Lambda ^{m}$-regular stratification, On the evolutionary selection of sets of Nash equilibria, A Lie algebra-theoretic approach to characterisation of collision invariants of the Boltzmann equation for general convex particles, On the local stability of semidefinite relaxations, Multiplicity $mod \, 2$ as a metric invariant, Algebraic realization for simple groups, Global Nash convergence of Foster and Young's regret testing, Distinguished representations of non-negative polynomials, $SU(2)$-cyclic surgeries and the pillowcase, Generalized polar varieties: geometry and algorithms, Facial structure of matrix convex sets, Cremona transformations and diffeomorphisms of surfaces, Generic determinacy of Nash equilibrium in network-formation games, A few more extensions of Putinar's Positivstellensatz to non-compact sets, The developments of proximal point algorithms, Almost o-minimal structures and $\mathfrak{X}$-structures, On the boundaries of strict pseudospectra, A real nullstellensatz with multiplicity, On the realisability of double-cross matrices by polylines in the plane, Cutting algebraic curves into pseudo-segments and applications, The structure of Nash equilibria in Poisson games, Intercalate coloring of matrices and the Yuzvinsky conjecture, On the Reeb spaces of definable maps, On the remainder of the semialgebraic Stone-Čech compactification of a semialgebraic set, Hartogs-type theorems in real algebraic geometry. I, Topology of tensor ranks, Bootstrapping the GMM overidentification test under first-order underidentification, On Grothendieck rings and algebraically constructible functions, Condition numbers for the tensor rank decomposition, Strongly algebraic realization of dihedral group actions, Generically globally rigid graphs have generic universally rigid frameworks, Differential fields and geodesic flows. II: Geodesic flows of pseudo-Riemannian algebraic varieties, Algebraic realization for cyclic group actions with one isotropy type, Labels of real projective varieties, Robust estimations of the region of attraction using invariant sets, Expansions of real closed fields that introduce no new smooth functions, Semialgebraic version of Whitney's extension theorem, Equivalence of state representations for hidden Markov models, Boundedness of hyperbolic components of Newton maps, Tensor factorization with total variation and Tikhonov regularization for low-rank tensor completion in imaging data, On restricted analytic gradients on analytic isolated surface singularities, A quaternionic Nullstellensatz, Curves testing boundedness of polynomials on subsets of the real plane, The polynomial method over varieties, Approximation by piecewise-regular maps, On the one dimensional polynomial and regular images of $\mathbb R^n$, Local volumes of cartier divisors over normal algebraic varieties, A version of Putinar's Positivstellensatz for cylinders, Łojasiewicz inequality for a pair of semialgebraic functions, Polyhedral faces in Gram spectrahedra of binary forms, On the speed of algebraically defined graph classes, New Kakeya estimates using Gromov's algebraic lemma, 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, Exact algorithms for semidefinite programs with degenerate feasible set, On Huisman's conjectures about unramified real curves, Algebraic realization for projective special linear actions, Directed subdifferentiable functions and the directed subdifferential without delta-convex structure, Approximation on Nash sets with monomial singularities, On factoriality of threefolds with isolated singularities, A deterministic polynomial-time algorithm for the first Bertini theorem. II, On continuity of Guo Wuwen function, On the minimum of a positive polynomial over the standard simplex, On triangular norms and uninorms definable in Ł$\Pi \frac{1}{2}$, On convex envelopes and regularization of non-convex functionals without moving global minima, On types of degenerate critical points of real polynomial functions, Domain-of-attraction estimation for uncertain non-polynomial systems, Attracting and natural invariant varieties for polynomial vector fields and control systems, Probabilistic Schubert calculus, On the integral Hodge conjecture for real varieties. II, A semidefinite relaxation method for second-order cone polynomial complementarity problems, On semi-infinite systems of convex polynomial inequalities and polynomial optimization problems, SDP relaxation algorithms for $\mathbf{P(P}_0)$-tensor detection, A single image dehazing model using total variation and inter-channel correlation, Super-exponential stability for generic real-analytic elliptic equilibrium points, The space of all $p$-th roots of a nilpotent complex matrix is path-connected, Classification of connected commutative locally Nash groups, Differentiable approximation of continuous semialgebraic maps, Geometry of the Hough transforms with applications to synthetic data, Spectral maps associated to semialgebraic branched coverings, On algorithms testing positivity of real symmetric polynomials, Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem, Uniformly supported approximate equilibria in families of games, Tight relaxations for polynomial optimization and Lagrange multiplier expressions, On the strong separation conjecture, Typical and generic ranks in matrix completion, Identification of an algebraic domain in two dimensions from a finite number of its generalized polarization tensors, Exponential convexifying of polynomials, Singular support of minimizers of the causal variational principle on the sphere, On the existence of global Nash slices, Toric $K3$-fibred Calabi-Yau manifolds with del Pezzo divisors for string compactifications, Bit complexity for computing one point in each connected component of a smooth real algebraic set, Testing polynomials for vanishing on Cartesian products of planar point sets: collinearity testing and related problems, On damped second-order gradient systems, Remez-type inequality on sets with cusps, Principal kinematic formulas for germs of closed definable sets, Block delayed Majorize-Minimize subspace algorithm for large scale image restoration ^*, Linear isoperimetric inequality for normal and integral currents in compact subanalytic sets, The link of the germ of a semi-algebraic metric space, The Pro-Lie Group Aspect of Weakly Complete Algebras and Weakly Complete Group Hopf Algebras, Sharper and Simpler Nonlinear Interpolants for Program Verification, On the geometry of random lemniscates, Nonconvex Constrained Minimisation for 3D Left Ventricular Shape Recovery Using 2D Echocardiography Data, Polynomials over the reals in proofs of termination : from theory to practice, Hyperbolic Relaxation of $k$-Locally Positive Semidefinite Matrices, Special groups and quadratic forms over rings with non-zero-divisor coefficients, Smooth Approximations in PL Geometry, Approximation of singular semialgebraic sets by smooth ones with respect to the Hausdorff metric, Algebraic compressed sensing, The geometry of Gaussian double Markovian distributions, Unique jet determination of CR maps into Nash sets, A practical approach to SOS relaxations for detecting quantum entanglement, The finite jet determination problem for CR maps of positive codimension into Nash manifolds, Global convergence of the gradient method for functions definable in o-minimal structures, Lyapunov stability of the subgradient method with constant step size, The geometrically nonlinear Cosserat micropolar shear–stretch energy. Part II: Non‐classical energy‐minimizing microrotations in 3D and their computational validation***, Convergence of the Momentum Method for Semialgebraic Functions with Locally Lipschitz Gradients, Distance to a constitutive tensor isotropy stratum by the Lasserre polynomial optimization method, Density of composite places in function fields and applications to real holomorphy rings, Canonical stratification of definable Lie groupoids, Toroidal integer homology three‐spheres have irreducible SU(2)$SU(2)$‐representations, Piecewise polynomial approximation of spatial curvilinear profiles using the Hough transform, Decomposition into special submanifolds, Non‐archimedean stratifications of tangent cones, Regular cylindrical algebraic decomposition, Impulse noise removal by using a nonconvex TGV regularizer and nonconvex fidelity, Robust error bounds for uncertain convex inequality systems with applications, Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals, An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem, Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space, Dominating real algebraic morphisms, Generalised polynomials and integer powers, Orbifold Euler characteristics of non‐orbifold groupoids, An $l_0$-norm based color image deblurring model under mixed random-valued impulse and Gaussian noise, Slicing the Nash equilibrium manifold, Identifiability of Chemical Reaction Networks with Intrinsic and Extrinsic Noise from Stationary Distributions, On some finiteness results in real étale cohomology, Convergent Hahn series and tropical geometry of higher rank, Algebraic realization for cyclic group actions, What to expect from a set of itemsets?, Trilateration using unlabeled path or loop lengths, Active Set Complexity of the Away-Step Frank--Wolfe Algorithm, A semidefinite method for tensor complementarity problems, Connectivity Properties of the Set of Stabilizing Static Decentralized Controllers, A geometric model of an arbitrary differentially closed field of characteristic zero, Unnamed Item, On rigid origami I: piecewise-planar paper with straight-line creases, On the finiteness of accessibility test for nonlinear discrete-time systems, 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, TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS, 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, The Geometry of Discotopes, Hilbert's basis theorem for *-radical ideals, Sums of powers in function fields, The $t$-invariant of analytic set germs of dimension 2., On the Pierce-Birkhoff conjecture, 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, Unnamed Item, 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, On the Choi-Lam analogue of Hilbert's 1888 theorem for symmetric forms, Douglas--Rachford Splitting and ADMM for Nonconvex Optimization: Tight Convergence Results, The complex moment problem: determinacy and extendibility, Unnamed Item, Blown-up Čech cohomology and Cartan’s Theorem B on real algebraic varieties, Amoebas of curves and the Lyashko–Looijenga map, Monoid Valuations and Value Ordered Supervaluations, Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems, Tensor Manifold with Tucker Rank Constraints, Bounding the length of gradient trajectories, Arc-meromorphous functions