Quelques applications de l'évaluation dynamique

par Teresa Gomez-Diaz

Thèse de doctorat en Mathématiques. Calcul formel

Sous la direction de Dominique Duval.

Soutenue en 1994

à Limoges , en partenariat avec Université de Limoges. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    Cette these est consacree a l'etude et la programmation de quelques applications de l'evaluation dynamique. Elle est composee de deux travaux independants. Dans la premiere partie de ce memoire, nous etudions le calcul de la forme canonique de jordan d'une matrice. Nous presentons ici les resultats theoriques obtenus et quelques algorithmes implantes. Dans la deuxieme partie, nous decrivons le programme de la cloture constructible dynamique que nous avons realise pour effectuer des calculs avec des parametres. Nous utilisons ce programme pour la resolution des systemes polynomiaux et pour la demonstration automatique de theoremes en geometrie elementaire

  • Titre traduit

    Some applications of dynamic evaluation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 121 p

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.