An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp (Q5383854)
From MaRDI portal
scientific article; zbMATH DE number 7069075
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp |
scientific article; zbMATH DE number 7069075 |
Statements
An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp (English)
0 references
20 June 2019
0 references
o-minimal structure
0 references
Lion's theorem
0 references
exp-subanalytic equation
0 references
0 references
