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 .


  • 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


  • Pas de résumé disponible.

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 :
  • Accessible pour le PEB
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : TS 87/GRE1/0028
  • Bibliothèque :
  • PEB soumis à condition
  • Cote : 37815
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.