Theoretical Computer Science
Thomas Klimpel's user avatar
Thomas Klimpel's user avatar
Thomas Klimpel's user avatar
Thomas Klimpel
  • Member for 9 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
3,013
reputation
69k
reached
37
answers
16
questions
Communities
View all
About

My past research interests included differential algebraic equations, nonlinear analysis and relations between symmetries and structural properties.

I recently investigated hierarchical structures, starting from group cohomology, continuing with semi-group theory and ending with lattices and universal algebra.

Badges
View all badges
This user doesn’t have any gold badges yet.
17
silver badges
44
bronze badges
Top tags
View all tags
47
Score
8
Posts
15
Posts %
44
Score
32
Posts
60
Posts %
15
Score
6
Posts
11
Posts %
13
Score
3
Posts
6
Posts %
12
Score
3
Posts
6
Posts %
11
Score
3
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
30
Proof refutation: Amateur reviews of ambitious CoRR papers
Oct 3, 2016
answer
22
Is anyone aware of a counter-example to the Dharwadker-Tevet Graph Isomorphism algorithm?
Aug 16, 2015
answer
19
Turing Machine restrictions that render halting decidable
May 12, 2016
answer
14
What evidence is there that Graph Isomorphism is not in $P$?
Aug 3, 2015
question
14
Does P/poly $\neq$ NP/poly have any interesting implications?
Jun 26, 2015
question
13
Is ALogTime != PH hard to prove (and unknown)?
May 9, 2016
question
13
Conclusions from reverse mathematical strength of graph minor theorem
Oct 28, 2017
answer
12
Does P/poly $\neq$ NP/poly have any interesting implications?
Jun 28, 2015
answer
12
Is there an algorithm that finds the forbidden minors?
Nov 3, 2018
question
11
Is the finite inverse semigroup isomorphism problem GI-complete?
Jan 3, 2015
Top Meta posts
0
1
3
2018 Moderator Election Q&A - Question Collection
Top network posts
View all network posts
55
What are some very important papers published in non-top journals?
34
How did first-order logic come to be the dominant formal logic?
28
On mathematical arguments against Quantum computing
24
Mathematical research interrupted by a war
24
Was von Neumann's 1954 ICM address "Unsolved Problems in Mathematics" outdated?

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.