|
Evènement pour le groupe Séminaire du LaBRI
Date | 2011-06-23 14:00-15:00 |
Titre | [Sem-LaBRI] Preuves automatiques d'identités |
Résumé | 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. Nous montrerons ces idées ainsi que des progrès récents qui permettent encore d'élargir la classe de fonctions manipulables algorithmiquement. |
Lieu | Amphi du LaBRI |
Orateur | Bruno Salvy |
Email | bruno.salvy@inria.fr |
Url | Projet ALGO,INRIA Rocquencourt |
Aucun document lié à cet événement. RetourRetour à l'index
| |