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.  
LieuAmphi du LaBRI 
OrateurBruno Salvy 
Emailbruno.salvy@inria.fr 
UrlProjet ALGO,INRIA Rocquencourt 



Aucun document lié à cet événement.

Retour
Retour à l'index