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)
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Computational aspects in algebraic geometry (14Q99)
Related Items (1)
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
This page was built for publication: Weak Wu stratification in \(\mathbb{R}^n\)