MPFI, je pense que je mets de côté. De ce que j'ai compris dans mes cours, l'arithmétique d'intervalle c'est beau mais
1 - lent
2 - ça mène à des fourchettes très larges (notamment dans mon cas où la condition du théorème de Moore n'est pas respectée)
IRRAM : Super intéressant. On a la garantie de travailler sur R !? Impressionnant
Dommage que ce soit en C++.
GMP : Parfait. S'annonce rapide et adapté pour les gros gros calculs. C'est visiblement pile poil ce qu'il me faut.
Tu as un peu plus d'infos sur le "subresultant GCD" ? (ah ah, quand on tape "subresultant pgcd" dans google, ce topic arrive en 1ère page). On dirait que ça s'applique à des calculs de PGCD de polynômes, pas d'entiers.