M Dinh - Université de Caen/Basse-Normandie, Diss, 2005 - researchgate.net
Dans ce chapitre, nous nous intéressonsa la vérification efficace d'inégalités matricielles
dépendant rationnellement de parametres, soit la vérification d'une infinité d'inégalités …