Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
Publications de l'Institut de recherche mathématiques de Rennes
Année 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
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