« Ce billet a été motivé par certaines conversations récentes avec Bjoern Bringmann. Les logiciels de mathématiques symboliques sont très développés pour de nombreuses tâches mathématiques dans des domaines tels que l'algèbre, le calcul et l'analyse numérique. Cependant, à ma connaissance, nous n'avons pas d'outils similaires pour vérifier les estimations asymptotiques - les inégalités qui sont censées s'appliquer pour des valeurs arbitrairement […]"