Cyril Cohen
Mots clés
FR |
EN
Coq
Formalisation des mathématiques
Nombres algébriques
Coq (logiciel)
Mathématiques constructives
Éliminiation des quantificateurs
Nombres réels
Nombres relatifs
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
Polynômes
Formalisme (mathématiques)
Géométrie algébrique
Permutations (mathématiques)
Corps algébriques