Le projet tp8 est une bibliothèque de calcul matriciel permettant de définir et de manipuler des matrices carrées et quelconques. Il offre des fonctionnalités telles que la création de matrices, l'initialisation en identité, la randomisation, la vérification de symétrie et d'antisymétrie, ainsi que des opérations telles que l'addition, la soustraction, la multiplication et la transposition.

RealCertify est une suite d'algorithmes hybrides conçus pour calculer des certificats de non-négativité de polynômes à coefficients rationnels. Il permet de décomposer des polynômes en sommes de carrés, facilitant ainsi la vérification de leur positivité ou de leur non-négativité. Les applications couvrent l'analyse mathématique, l'optimisation et la résolution de problèmes d'inégalités matricielles linéaires.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.

Ce projet permet de manipuler et analyser des formes géométriques simples comme des rectangles ou des carrés. Il offre des fonctionnalités pour calculer des dimensions, vérifier des propriétés géométriques et afficher les résultats sous forme textuelle.