Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Publications de l'Institut de recherche mathématiques de Rennes
Année 1989
no. 4
Précédent
Suivant
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
Solerno, Pablo
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
Mora, Teo
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