Conception et réalisation d'un logiciel pour la manipulation formelle des polynoèmes en plusieurs indeterminées

Design and realization of a software for the formal manipulation of multivariable polynomials

• Auteur / Autrice : Marc Gaetano
• Direction : André Galligo
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1986
• Etablissement(s) : Nice

Mots clés

Mots clés contrôlés

Polynômes

Calcul formel

LISP (langage de programmation)

Résumé

Ce logiciel, baptisé Basta (base standard), est spécialement conçu pour expérimenter diverses implémentations de l'algorithme de calcul d'une base standard de polynômes, et de tous ses algorithmes dérivés (résolution d'équations polynomiales, manipulations de matrices a coefficients polynômes). Basta est écrit en CEYX, extension orientée objet de langage LE LISP (de l'INRIA), et il se caractérise principalement par les trois points suivants : élaboration et mise au point d'une nouvelle méthode de représentation des polynômes en plusieurs variables. Représentation des objets mathématiques dans un langage type, avec les notions de hiérarchie et d'héritage