Les «méthodes explicites» couvrent le vaste champ des aspects effectifs, concrets, de l'arithmétique. Outre l'algorithmique proprement dite, elles incluent les recherches en théorie des nombres bénéficiant d'expérimentations ou de calculs sur machine, voire simplement motivées par la théorie de la complexité. Bordeaux est un grand centre français en théorie des nombres, qui s'est historiquement construit autour de ces thématiques algorithmiques et expérimentales (laboratoire A2X).
À l'occasion du départ à la retraite de Henri Cohen, nous organisons à Bordeaux ce colloque international sur ces thèmes auxquels il a tant contribué (en particulier en créant avec son équipe le logiciel de calcul formel arithmétique Pari/GP).
Adresse du colloque :
Institut de Mathématiques de Bordeaux
Université Bordeaux I
351, cours de la Libération
33405 Talence
Université Bordeaux I
351, cours de la Libération
33405 Talence
Comité Scientifique :
Manjul Bhargava (Princeton),
Noam D. Elkies
(Harvard),
Hendrik Lenstra Jr. (Leiden),
Don Zagier
(Collège de France & MPIM Bonn).
Organisateurs :
Cette conférence est organisée avec le soutien
- du Ministère de l'Éducation Nationale,
- du CNRS,
- de l'ANR (projet ARITHMATRICS),
- du GDR 2251 (Réseau de Théorie des Nombres),
- de la région Aquitaine,
- de l'université Bordeaux 1,
- de l'Institut de Mathématiques de Bordeaux,
- du Journal de Théorie des Nombres de Bordeaux.
