Helmut Schwichtenberg
Mots clés
FR |
EN
Quantificateurs sans signification computationnelle (Uniformes)
Extraction de programmes à partir de preuves (classiques)
Logique combinatoire
Algébrique réelle constructive,
Clôture réelle
Comptage des racines réelles
Théorème de Sturm
Théorème de Budan-Fourier
Racines virtuelles
Mathématiques constructives
Sturm, Théorème de