Date(s) : 12/03/2019 iCal
14 h 00 min - 15 h 00 min
Le rajout de l’exponentiel aux polynômes permet d’engendrer une structure R_exp.
La combinaison de la modèle-complétude de Wilkie et d’un théorème de finitude de Khovanskii permet de démontrer l’o-minimalité de R_exp. Nous expliquerons une preuve du théorème de Khovanskii.
Catégories