Le moteur de recherche
des thèses françaises
Lihong Zhi
IdRefMots clés
FR |
EN
Optimisation polynomiale
Programmation semi-définie
Certificats exacts
Positivité
Somme des carrés
Nombres rationnels
Optimisation mathématique
Approximation polynomiale
Algorithmes optimaux
Décomposition (mathématiques)
Vérification de robustesse
Constante de Lipschitz
Réseau de neurones
Hiérarchie moment-somme de carrés
Réseaux neuronaux (informatique)
Commande robuste
Loi multinomiale
Calcul formel et symbolique
Système d'équations algébriques
Homotopie symbolique