Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets

Journal of Symbolic Computation

Volumn 5, Issue 1-2, 1988, Pages 121-129

  Coste, M ^a   Roy, M F ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001560099     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0747-7171(88)80008-7     Document Type: Article

References (11)

1. The complexity of elementary algebra and geometry
2. Geométrie algébrique réelle
3. Quantifier elimination for real closed fields by cylindric algebraic decomposition
4. Ensembles semi-algébrique
5. Substitution in Nash functions
6. Ensembles semi-anatytiques
7. Generalized polynomial remainder sequences
8. Computation of the topology of a real algebraic curve
9. On the “Piano mover's” problem
10. On a theory of syzygetic relations of two rational integral functions, comprising an application to the theory of Sturm's function