Accueil
 
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Plein texte
  • 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
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 GR 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
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de