- Homepage
- About the Joint Centre
- Research Areas & Projects
- Researchers
- News & Events
- Open Positions
Orsay, Bat I, 1er étage,
Centre de Recherche commun INRIA-MSR
Preuves automatiques d’identités
Bruno Salvy,
INRIA
Depuis une vingtaine d’années, le calcul formel a beaucoup progressé dans l’algorithmisation des mathématiques. En particulier, quelques idées simples mais fécondes permettent maintenant de calculer automatiquement des sommes ou des intégrales de fonctions très diverses. Je montrerai ces idées ainsi que des progrès récents qui permettent encore d’élargir la classe de fonctions manipulables algorithmiquement.