Boris Djalal
IdRefMots clés
FR |
EN
Coq
Formalisation des mathématiques
Géométrie algébrique réelle
Ensembles semi-algébriques
Fonctions semi-algébriques
Élimination des quantificateurs
Fractions
Substitution
Représentation de Newton des polynômes
Nombres algébriques
Polynômes
Formalisme (mathématiques)
Géométrie algébrique
Permutations (mathématiques)
Corps algébriques
Coq (logiciel)