Givaro est une bibliothèque logicielle dédiée au calcul formel sur les entiers, les polynômes et les matrices. Elle fournit des algorithmes efficaces pour la manipulation de ces objets mathématiques et permet leur utilisation dans des applications variées.