Weak Wu stratification in \(\mathbb{R}^n\)
From MaRDI portal
Publication:1808668
zbMath0945.14033MaRDI QIDQ1808668
Publication date: 18 June 2000
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
14P10: Semialgebraic sets and related spaces
14Q99: Computational aspects in algebraic geometry
Related Items
Cites Work
- Unnamed Item
- On the theory of the real exponential field
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- How to recognize zero?
- Frontier and closure of a semi-Pfaffian set
- Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality
- Complexity of stratifications of semi-Pfaffian sets
- Geometric categories and o-minimal structures
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function