Coste, M.; Roy, M.-F. Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets.J. Symbolic Comput. 5 (1988), no. 1-2, 121–129.
For users without a
, Relay Station allows linking from MR numbers in online mathematical literature
directly to electronic journals and original articles.
Subscribers receive the added value of full MathSciNet reviews.