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.