Calculs associatifs commutatifs, étude et réalisation du système Unifac

par Mohamed Adi

Thèse de doctorat en Sciences appliquées

Sous la direction de Claude Kirchner.

Soutenue en 1991

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    La résolution des équations et des systèmes d'équations recouvre un grand nombre de problèmes en informatique. Parmi ces problèmes, nous distinguons l'unification et le filtrage, dont le champ d'application est tres varie. Nous nous sommes intéressés spécialement à l'étude de ces deux problèmes en présence de symboles de fonctions ayant les deux propriétés d'associativité et de commutativité. La résolution de ces deux problèmes appelle à la résolution des systèmes d'équations diophantiennes linéaires homogènes, qui sont à leur tour étudiés. Nous nous sommes aussi intéressés à l'étude de la parallélisassions des méthodes de résolution des problèmes d'unification et de filtrage associatifs-commutatifs. Une grande partie de cette thèse venant à la suite de l'étude théorique est consacrée à la description de notre système unifac, qui regroupe plusieurs implantations d'unification, du filtrage et de la résolution des équations et systèmes d'équations diophantiennes linéaires homogènes

  • Titre traduit

    Associative-commutative computation, study and presentation of unifac system


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol.(125 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : 96 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • 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-1991-ADI
  • 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.