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, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
5,600
reputation
312k
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
50
bronze badges
Top tags
View all tags
190
Score
49
Posts
46
Posts %
88
Score
27
Posts
25
Posts %
77
Score
13
Posts
12
Posts %
48
Score
14
Posts
13
Posts %
46
Score
18
Posts
17
Posts %
43
Score
16
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
54
What is the most useful non-existing object of your field?
Sep 29, 2014
question
53
Why do we need random variables?
Sep 22, 2016
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"

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.