Quelques applications de l'évaluation dynamique / Teresa Gomez-Diaz ; sous la dir. de Dominique Duval

Date :

Editeur / Publisher : Limoges : Faculté des Sciences , 1994

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Calcul formel

Duval, Dominique (19..-.... ; mathématicienne) (Directeur de thèse / thesis advisor)

Université de Limoges. Faculté des sciences et techniques (Autre partenaire associé à la thèse / thesis associated third party)

Université de Limoges (1968-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : 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