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.

Projet dédié à la validation et au test de fonctions mathématiques et algorithmiques. Il permet de vérifier la précision des calculs numériques, de simuler des déplacements sur un échiquier virtuel et d'automatiser des tests unitaires pour des algorithmes. Utilisé principalement dans un cadre éducatif ou de recherche pour valider des implémentations logicielles.