MathOverflow
ACL's user avatar
ACL's user avatar
ACL's user avatar
ACL
  • Member for 13 years, 5 months
  • Last seen this week
Profile Activity
Stats
12,632
reputation
561k
reached
147
answers
10
questions
Communities
View all
About

Mathematician,…

Interested in Arithmetic geometry (Arakelov geometry, Berkovich spaces, Diophantine geometry) and Proof assistants (especially Lean).

Badges
View all badges
This user doesn’t have any gold badges yet.
58
silver badges
78
bronze badges
Top tags
View all tags
511
Score
63
Posts
40
Posts %
211
Score
27
Posts
17
Posts %
108
Score
9
Posts
6
Posts %
101
Score
15
Posts
10
Posts %
92
Score
15
Posts
10
Posts %
64
Score
5
Posts
3
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
43
Connected sum of topological manifolds
Feb 12, 2013
answer
38
Why is differential Galois theory not widely used?
Apr 3, 2015
answer
34
What's an example of a transcendental power series?
Apr 15, 2010
question
30
The role of ANR in modern topology
Mar 4, 2013
answer
29
How many flat connections has a line bundle in algebraic geometry?
Mar 8, 2013
answer
25
What elementary problems can you solve with schemes?
Mar 21, 2011
answer
25
Nontrivial theorems with trivial proofs
May 25, 2011
answer
24
Concrete Applications of knowing $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$
Mar 9, 2016
answer
23
What are some famous rejections of correct mathematics?
Jun 28, 2013
question
20
Kodaira dimension of symmetric products of curves
Mar 8, 2013
Top network posts
View all network posts
14
uppercase and \spacefactor
14
Showcase of beautiful invitations in TeX
8
Can the development of proof assistants make mathematicians switch their framework?
5
Does one need a type-theoretical axiom of choice for singletons?

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.