Skip to main content
MathOverflow
Filippo Alberto Edoardo's user avatar
Filippo Alberto Edoardo's user avatar
Filippo Alberto Edoardo's user avatar
Filippo Alberto Edoardo
  • Member for 12 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
5,650
reputation
325k
reached
91
answers
15
questions
Communities
View all
About

I am currently a Maître de Conférences in Saint-Étienne, in France. I am particularly interested in formalised mathematics.

Badges
View all badges
2
gold badges
35
silver badges
53
bronze badges
Top tags
View all tags
192
Score
49
Posts
46
Posts %
89
Score
27
Posts
25
Posts %
77
Score
13
Posts
12
Posts %
48
Score
14
Posts
13
Posts %
47
Score
18
Posts
17
Posts %
43
Score
16
Posts
15
Posts %
Top posts
View all questions and answers
55
Why do we need random variables?
Sep 22, 2016
54
What is the most useful non-existing object of your field?
Sep 29, 2014
23
Proof of Prop 1.1 in Wiles' "Modular elliptic curves and Fermat's last theorem"
Jan 18, 2020
21
why we need rigid geometry?
Apr 21, 2012
20
When complex conjugation lies in the center of a Galois group
Apr 15, 2015
20
Autobiographies of mathematicians
Jul 19, 2012
19
Letter from Grothendieck to Tate on "crystals"
Jun 5, 2013
17
Geometric interpretation of Hida isomorphism
Apr 9, 2012
13
Fundamental problems whose solution seems completely out of reach
Jul 2, 2012
12
Adjoining torsion points from abelian varieties
Dec 2, 2014
Top network posts
View all network posts
20
Why do we need \ldots?
16
Proof assistants and formalised mathematics in the MSC database
9
Macro finding a forgotten \command
8
Pluriel de "il y a"
5
Reference for \newlabel