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.