Matthew England

Les récentes avancées en élimination de quantificateurs réels et en CAD améliorent l'efficacité de la résolution de problèmes en maths.