Ce projet permet d'analyser des systèmes bilinéaires en déterminant des bornes inférieures et supérieures pour leurs propriétés. Il offre des fonctionnalités avancées comme l'identification de motifs primitifs, la génération de certificats sous forme d'arbres, et l'optimisation des calculs via des méthodes comme le rayon spectral ou la gestion de systèmes épars. Les outils développés sont utiles pour la recherche en mathématiques appliquées ou en informatique théorique.