Calculs associatifs commutatifs, étude et réalisation du système Unifac - Université de Lorraine Accéder directement au contenu
Thèse Année : 1991

Associative-commutative computation, study and presentation of unifac system

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

Mohamed Adi
  • Fonction : Auteur
  • PersonId : 787629
  • IdRef : 032627521

Résumé

Not available
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
Fichier non déposé

Dates et versions

tel-01747870 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01747870 , version 1

Accès intranet

Citer

Mohamed Adi. Calculs associatifs commutatifs, étude et réalisation du système Unifac. Autre. Université Henri Poincaré - Nancy 1, 1991. Français. ⟨NNT : 1991NAN10382⟩. ⟨tel-01747870⟩
14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More