Architecture logicielle distribuee pour le calcul formel. Application a la decomposition primaire d'ideaux

par Alain Sausse

Thèse de doctorat en Sciences appliquées

Sous la direction de André Galligo.

Soutenue en 1995

à Nice .

    mots clés mots clés


  • Résumé

    Le cadre de ce travail est le calcul algebrique formel et ce memoire se decompose en deux parties: la definition et la realisation d'un outil de communication entre les logiciels de calcul formel, puis le developpement et l'implementation dans cet environnement d'un algorithme distribue pour la determination d'une decomposition primaire d'un ideal polynomial. Nous presentons l'etude et la realisation d'un composant logiciel, appele le central control, noyau d'un environnement pour le calcul distribue, qui permet la communication et la cooperation entre plusieurs systemes de calcul formel tels que maple, macaulay et gb. Nous etudions ensuite l'implementation d'un algorithme distribue pour la decomposition primaire d'ideaux polynomiaux, et nous presentons, sous la forme d'une bibliotheque, les operations elementaires sur les ideaux necessaires a la determination d'une telle decomposition. Enfin, nous tentons de valider notre approche en etudiant une question issue du probleme a 4 corps de mecanique celeste, qui nous a ete proposee par le prof. A. Chenciner

  • Titre traduit

    Distributed software architecture for computer algebra. Application to primary decomposition of ideals


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 1995 par [INRIA] à [Le Chesnay]

Architecture logicielle distribuée pour le calcul formel : application à la décomposition primaire d'idéaux


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 214 P.
  • Annexes : 90 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Côte d’Azur. Service commun de la documentation. Bibliothèque Sciences.
  • Accessible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1995-SAU
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

Cette thèse a donné lieu à une publication en 1995 par [INRIA] à [Le Chesnay]

Informations

  • Sous le titre : Architecture logicielle distribuée pour le calcul formel : application à la décomposition primaire d'idéaux
  • Détails : 215 p.
  • Notes : Résumé en français et en anglais.
  • ISBN : 2-7261-0949-7
  • Annexes : Bibliogr. p. [211-216]
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.