Skip to main content
Mathematics
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl
  • Member for 11 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
825
reputation
20k
reached
11
answers
21
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
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
5
Score
7
Posts
22
Posts %
3
Score
5
Posts
16
Posts %
3
Score
4
Posts
12
Posts %
1
Score
4
Posts
12
Posts %
1
Score
3
Posts
9
Posts %
0
Score
4
Posts
12
Posts %
Top posts
View all questions and answers
6
Prove that if $A - A^2 = I$ then $A$ has no real eigenvalues
May 1, 2013
5
Differentiating an asymptotic power series
Jan 30, 2017
5
prove that : $ i = \sqrt {-1}\ $
May 7, 2013
4
Asymptotic expansion of Polygamma functions
Jan 27, 2017
3
A rigorous proof of L'Hôpital's rule (∞/∞ case for infinite limit)
Aug 17, 2016
3
State-of-the-art symbolic algorithms for limits
Sep 20, 2016
3
Series expansion of $\arctan$ at arbitrary real point
Jan 13, 2017
3
On a lemma by Newman relating summability and convergence
Sep 19, 2018
3
Lower bounds for totient function of a Carmichael number
Feb 1, 2019
3
Working with negation of quantifiers
Mar 20, 2013
Top network posts
View all network posts
143
Proofs shown to be wrong after formalization with proof assistant
35
Looking for some interesting complex integration contours
14
Isabelle/HOL foundations
11
How to see step-by-step reasoning of Isabelle 'proofs'
11
Equivalence classes and union/find in a functional language