Skip to main content
MathOverflow
Denis Chaperon de Lauzières's user avatar
Denis Chaperon de Lauzières's user avatar
Denis Chaperon de Lauzières's user avatar
Denis Chaperon de Lauzières
Unregistered
  • Member for 8 years, 7 months
  • Last seen more than 5 years ago
Profile Activity
Stats
174
reputation
24k
reached
6
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
View all tags
7
Score
3
Posts
50
Posts %
7
Score
2
Posts
33
Posts %
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
3
Score
1
Posts
17
Posts %
3
Score
1
Posts
17
Posts %
Top posts
answer
10
Which mathematical definitions should be formalised in Lean?
Sep 21, 2018
answer
5
Applications of space filling curves
May 7, 2016
answer
5
estimate for a sum of products of Weil's sum
Jun 10, 2017
answer
3
Does it make sense to talk about expansion in irregular graphs?
Nov 18, 2016
answer
2
Does a Kloosterman sum composed with a rational function exhibit square root cancellation?
Jan 10, 2018
answer
0
Perverse sheaves and tensor product
May 4, 2016