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

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.