Groupe de travail de calcul formel

Table of contents

List of lectures

Sur le calcul des racines des polynômes
p. 1-14
La règle de Newton et les théorèmes de Sylvester
p. 15-45
Spécialisation de la suite de Sturm et sous-résultants
p. 47-101
Sur la complexité du principe de Tarski-Seidenberg
p. 103-120
Une inégalité de Lojasiewicz effective
p. 121-131
An Introduction to the Tangent Cone Algorithm
p. 133-171
La Queste del Saint GR a (AL): a Computational Approach to Local Algebra
p. 173-201
Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer
p. 203-216
Enlacements et tresses fermées Traitement algorithmique
p. 217-238
Théorie des nœuds et calcul formel
p. 239-260