Bernd Sturmfels
Mots clés
FR |
EN
Bases de Gröbner
Calcul formel
Géométrie algébrique réelle
Géométrie algébrique
Sciences et techniques communes
Mathématiques
Algorithme
Arithmétique
Base Gröbner
Système équation
Système linéaire
équation diophantienne
Analyse diophantienne
Algorithmes
Variétés toriques
Systèmes polynomiaux paramétriques
Élimination de quantificateurs
Points isolés réels
Polynômes
Géométrie tropicale