Alain Godon et moi même  avons développé un solveur 2D basé sur l’analyse par intervalles, appelé Chloé (Calcul Habile utiLisant des Opérations Ensemblistes).  Ce logiciel est gratuit et a pour but d’illustrer de façon pédagogique l’utilisation de l’analyse par intervalles pour la résolution d’inéquations.
 
 


Chloe.exe


 






Chloé s’utilise sous Windows 95 ou NT et utilise la librairie dynamique
 
 


mfc42.dll


 






 Il y a de fortes chances que vous disposiez déjà de cette librairie.  Chloé résoud des inéquations en x, y de la forme :
 
 


ai < fi(x,y) < bi


 






pour i allant de 0 jusqu’à n-1 où n est le nombre d’équations. Vous pouvez entrer une expression Booléenne B pour caractériser les liens logiques entre vos inéquations. Si par exemple vous désirez que seule la première soit satisfaite B=0. Si vous voulez qu’au moins  2 soit satisfaites parmis 3 inéquations, B=0.1+1.2+0.3. Si vous voulez que 2 et seulement 2 soient satisfaites, B=(0.1+1.2+0.2).!(0.1.2), ce qui signifie : “les 2 premières ou les 2 dernières ou les 2 extrèmes, mais pas les trois ensembles”.