Computer-assisted mathematics
ENS — amphi Galois 45 rue d'Ulm, ParisDepuis plus d'un demi-siècle, les ordinateurs ont acquis le statut d'instruments de recherche incontournables dans de nombreuses branches de mathématiques fondamentales. Leur puissance de calcul est mise au service de l'experimentation, de la visualisation, de l'aide a la conjecture,... Mais aussi de la démonstration. Peut-on aller jusqu'à dire que les ordinateurs d'aujourd'hui font des mathématiques?