Associative-commutative computation, study and presentation of unifac system
Calculs associatifs commutatifs, étude et réalisation du système Unifac
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