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 13 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
5,670
reputation
332k
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
36
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
question
55
Why do we need random variables?
Sep 22, 2016
answer
54
What is the most useful non-existing object of your field?
Sep 29, 2014
answer
23
Proof of Prop 1.1 in Wiles' "Modular elliptic curves and Fermat's last theorem"
Jan 18, 2020
answer
21
why we need rigid geometry?
Apr 21, 2012
answer
20
When complex conjugation lies in the center of a Galois group
Apr 15, 2015
answer
20
Autobiographies of mathematicians
Jul 19, 2012
question
19
Letter from Grothendieck to Tate on "crystals"
Jun 5, 2013
question
17
Geometric interpretation of Hida isomorphism
Apr 9, 2012
answer
13
Fundamental problems whose solution seems completely out of reach
Jul 2, 2012
answer
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"
6
Reference for \newlabel