Ce projet est une bibliothèque logicielle dédiée à la recherche et à la validation de racines multiples pour des polynômes univariés denses, réels ou complexes. Il implémente des algorithmes avancés pour calculer des approximations numériques des racines et leurs multiplicités, puis fournit des méthodes garanties pour obtenir des encadrements rigoureux de ces racines. Utilisé principalement en mathématiques appliquées et en calcul scientifique, il permet d'améliorer la précision des solutions dans des contextes où la rigueur est essentielle.

Bibliothèque dédiée à l'implémentation de l'arithmétique d'intervalles en Julia. Elle permet d'effectuer des calculs mathématiques avec une précision garantie, en prenant en compte les incertitudes et les erreurs d'arrondi. Idéale pour les applications nécessitant une validation rigoureuse des résultats numériques, comme la simulation de systèmes ou l'optimisation de fonctions.

Inum64 est une bibliothèque logicielle dédiée à l'arithmétique d'intervalles en précision flottante double. Elle permet d'effectuer des opérations mathématiques (addition, soustraction, multiplication, division) sur des intervalles de nombres réels avec une précision garantie. Utilisée principalement dans les domaines scientifiques et techniques, elle facilite les calculs robustes et fiables pour les applications nécessitant une gestion rigoureuse des incertitudes numériques.