Complexity of stratifications of semi-Pfaffian sets

DOI10.1007/BF02570696zbMath0832.68056OpenAlexW1981654371MaRDI QIDQ1894719

Nikolaj N. jun. Vorob'ev, Andrei Gabrielov

Publication date: 1 August 1995

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/131392

zbMATH Keywords

exponential polynomialssparse polynomialssemi-Pfaffian set

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Real-analytic and semi-analytic sets (14P15)

Related Items (18)

Wilkie's conjecture for restricted elementary functions ⋮ Complexity lower bounds for computation trees with elementary transcendental function gates ⋮ Polynomial interrupt timed automata: verification and expressiveness ⋮ The Vapnik-Chervonenkis dimension of graph and recursive neural networks ⋮ Multiplicities of Noetherian deformations ⋮ Wilkie's conjecture for Pfaffian structures ⋮ DIFFERENCE AND DIFFERENTIAL EQUATIONS FOR THE COLORED JONES FUNCTION ⋮ An effective version of Wilkie's theorem of the complement and some effective o-minimality results. ⋮ Density of algebraic points on Noetherian varieties ⋮ Effective Pila-Wilkie bounds for unrestricted Pfaffian surfaces ⋮ Topological complexity of the relative closure of a semi-Pfaffian couple ⋮ Complexity of cylindrical decompositions of sub-Pfaffian ⋮ Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality ⋮ Weak Wu stratification in \(\mathbb{R}^n\) ⋮ Bounds on sizes of finite bisimulations of Pfaffian dynamical systems ⋮ Elimination of infinitesimal quantifiers ⋮ Betti numbers of semi-Pfaffian sets ⋮ Specifications for triangulation algorithms of elementary-algebraic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary structure of real algebraic varieties
• Definability and fast quantifier elimination in algebraically closed fields
• Symmetry and monotonicity of least energy solutions
• Moduli spaces for real algebraic curves and real abelian varieties
• Solving systems of polynomial inequalities in subexponential time
• The complexity of deciding consistency of systems of polynomials in exponent inequalities
• An obstruction to embedding graphs in surfaces
• Complexity of deciding Tarski algebra
• Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality
• Complements of subanalytic sets and existential formulas for analytic functions
• Projections of semi-analytic sets
• Efficient Motion Planning for an L-Shaped Object
• Sur la complexité du principe de Tarski-Seidenberg

This page was built for publication: Complexity of stratifications of semi-Pfaffian sets