Diverses questions relatives au calcul formel avec des nombres algèbriques : [thèse soutenue sur un ensemble de travaux]

par Dominique Duval

Thèse de doctorat en Sciences. Mathématiques

Sous la direction de Jean Della Dora.

Soutenue en 1987

à Grenoble 1 .


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Presentation du systeme d5 de calcul formel avec des nombres algebriques, ecrit avec claire dicrescenzo. Exemples d'application illustrant l'efficacite de l'algorithme. Justification theorique du systeme d5 dans le cadre des theories equationnelles a l'aide de la notion d'evaluation dynamique

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 199 p

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 87/GRE1/0028
  • Bibliothèque : Université de Strasbourg. Bibliothèque de mathématique.
  • PEB soumis à condition
  • Cote : 37815
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.