Je sais pas exactement ce que tu souhaites faire, mais ça me fait penser a du calcul par intervalles.
T'as des libs de calculs qui font du calcul rigoureux en te fournissant des intervalles de flottants comme résultats, dans lesquels le résultat est nécessairement contenu. Elles implémentent l'arithmétique des intervalles de flottants, sont rigoureuses, jouent toutes seules avec l'arrondi des calculs pour encadrer le résultat, et savent faire des calculs sur des intervalles de valeurs et plus seulement des constantes.
Plus ton calcul est sensible, plus les intervalles résultats risquent d'être grands, a priori.
Ce sont des outils de bases pour l'analyse par intervalle, et pour la programmation par contraintes sur les réels.
# Calcul par intervalles
Posté par thoasm . En réponse au journal Changer le mode d'arrondi IEEE754 avec roundme. Évalué à 8.
T'as des libs de calculs qui font du calcul rigoureux en te fournissant des intervalles de flottants comme résultats, dans lesquels le résultat est nécessairement contenu. Elles implémentent l'arithmétique des intervalles de flottants, sont rigoureuses, jouent toutes seules avec l'arrondi des calculs pour encadrer le résultat, et savent faire des calculs sur des intervalles de valeurs et plus seulement des constantes.
Plus ton calcul est sensible, plus les intervalles résultats risquent d'être grands, a priori.
Ce sont des outils de bases pour l'analyse par intervalle, et pour la programmation par contraintes sur les réels.
Quelques liens vers des bibliothèques, entre autre, t'as aussi des implémentations, t'as un projet d'implémentation dans boost :
http://www.ti3.tu-harburg.de/Software/PROFILEnglisch.html
http://sourceforge.net/projects/gaol/files/gaol/
Wikipedia :
http://en.wikipedia.org/wiki/Interval_arithmetic