Skip to main content
MathOverflow
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl
  • Member for 11 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
1,241
reputation
23k
reached
4
answers
14
questions
Communities
View all
About

Computer Science postdoc at TU München, Esperantist, addicted to formal proofs/interactive theorem proving and Earl Grey. Some knowledge of Isabelle/HOL, Java, C/C++, Haskell, Standard ML, theoretical computer science, finite automata, cryptography, and basic mathematics (i.e. logic, algebra, geometry, number theory, analysis).

Badges
View all badges
2
gold badges
10
silver badges
14
bronze badges
Top tags
View all tags
6
Score
7
Posts
39
Posts %
6
Score
2
Posts
11
Posts %
0
Score
3
Posts
17
Posts %
0
Score
3
Posts
17
Posts %
0
Score
2
Posts
11
Posts %
0
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
answer
143
Proofs shown to be wrong after formalization with proof assistant
Jan 24, 2018
question
35
Looking for some interesting complex integration contours
Mar 26, 2022
question
6
Integral-like concepts
Jan 13, 2016
question
6
A non-$p$-adic proof of a congruence of Bernoulli numbers
Aug 25, 2022
answer
6
Proofs of the valence formula that avoid tricky contours?
Apr 3
question
3
Maps that preserve winding numbers
Apr 5, 2022
question
3
The monodromy in the proof of Little Picard via Klein's $J$
Apr 20, 2022
question
2
Measurability of functions with multiple parameters
Apr 19, 2014
question
2
Measure space for trees and other algebraic datatypes
Apr 8, 2017
question
1
Asymptotic growth of $f(x) = 2f(x/2 + x/\ln(x))$
Feb 1, 2016
Top network posts
View all network posts
15
Isabelle/HOL foundations
11
How to see step-by-step reasoning of Isabelle 'proofs'
11
Equivalence classes and union/find in a functional language
11
What's the difference between "arith" and "presburger" in Isabelle?
11
Nenegata versio de “ĉu ne?”