Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
Astérisque, no. 192 (1990) , 100 p. 
@book{AST_1990__192_,
     editor = {Hayat-Legrand Claude and Sergeraert Francis},
     title = {Algorithmique, topologie et g\'eom\'etrie alg\'ebriques - S\'evilla,1987, Toulouse 1988},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {192},
     year = {1990},
     language = {mul},
     url = {http://www.numdam.org/item/AST_1990__192_}
}

Hayat-Legrand Claude; Sergeraert Francis (ed.). Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988. Astérisque, no. 192 (1990), 100 p. http://www.numdam.org/item/AST_1990__192_/

Table of contents

Algorithmique, topologie et géométrie algébriques, Seville 31 août - 4 septembre 1987 Toulouse 2-4 décembre 1988 - Pages préliminaires AST p. 1-6
Non-trivial projections of the trivial knot Ochiai, Mitsuyuki p. 7-10
Recherche de solutions d'inéquations polynomiales Ronga, Felice p. 11-16
Computation of the topology of a real curve Roy, Marie-Françoise p. 17-33
Supports acycliques et algorithmique Rubio, Julio; Sergeraert, Francis p. 35-55
Functional coding and effective homology Sergeraert, Francis p. 57-67
Micro-computer prolog as a handy tool for formal algebraic computations Shibata, Katsuyuki p. 69-78
Computing with the lambda algebra Tangora, Martin C. p. 79-89