Xavier-François Roblot
Institut Camille Jordan
Bâtiment Doyen Braconnier
21, avenue Claude Bernard
69622 VILLEURBANNE cedex (FRANCE)
Tél : (+33/0)472 431 908
email :
roblot@math.univ-lyon1.fr
Poste
En ce moment
Maître de conférences at the
Institut Camille Jordan
of
Université Claude Bernard
Lyon I since September 2000.
Avant
Associate Professor à
Tokyo Institute of Technology
de février 2010 à mars 2012.
Encore avant
Postdoc (1998-2000) au département de
Computer Science
à
Concordia
University (Montréal).
Recherches
Domaine
Aspects explicites et algorithmiques de la théorie algébrique des nombres. Formalisation de preuves.
Mots-clés
Conjectures de Stark, structures galoisiennes, fonctions \(L\) \(p\)-adiques. Logiciel
Lean
, Librairie
Mathlib
Ressources
Liste de
publications
, liste d'
exposés
, quelques
tables
. Liste de
contributions
à la libraire Mathlib.
Enseignements
Deuxième semestre
Algèbre linéaire et bilinéaire
Diffusion des mathématiques
Cryptographie
: Comment l'arithmétique est devenue science appliquée
Préparation à l'agrégation
Recueil de leçons
pour l'option C
Autres ressources
Cours sur l'
arithmétique algorithmique
fait à l'ENS pour la préparation à l'épreuve d'agrégation.
Quelques liens
Outils
Google
,
Dictionary
,
Wikipedia
,
Universal Currency Converter
.
Organisations mathématiques
Number Theory Web
,
AMS
,
SMAI-SMF
.
Publications mathématiques
Journaux en ligne
,
MathSciNet
,
arXiv
(théorie des nombres).
Autres ressources mathématiques
Institut MacTutor
,
Constantes
,
MathWorld
,
J. S. Milne
notes.
last change: 21 February 2023, 13:20
