Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
[Sem-LaBRI] Preuves automatiques d'identités
du 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