Publications mathématiques et informatique de Rennes, Tome (1989) no. 4

Groupe de travail de calcul formel

Sommaire

Liste complète des exposés

Sur le calcul des racines des polynômes

Dedieu, Jean-Pierre

p. 1-14

La règle de Newton et les théorèmes de Sylvester

Yakoubsohn, Jean-Claude

p. 15-45

Spécialisation de la suite de Sturm et sous-résultants

Gonzalez, Laureano ; Lombardi, Henri ; Recio, Tomas ; Roy, Marie-Françoise

p. 47-101

Sur la complexité du principe de Tarski-Seidenberg

Heintz, Joos ; Roy, Marie-Françoise ; Solerno, Pablo

p. 103-120

Une inégalité de Lojasiewicz effective

p. 121-131

An Introduction to the Tangent Cone Algorithm

Mora, Teo ; Pfister, Gerhard ; Traverso, Carlo

p. 133-171

La Queste del Saint

G R_{a}

(AL): a Computational Approach to Local Algebra

p. 173-201

Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer

Flajolet, Philippe ; Salvy, Bruno ; Zimmermann, Paul

p. 203-216

Enlacements et tresses fermées Traitement algorithmique

Jacquemard, Alain

p. 217-238

Théorie des nœuds et calcul formel

Rolin, Jean-Philippe

p. 239-260