Theoretical Computer Science
Meta user
Network profile
2,808
reputation
13
42

Thomas Klimpel

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.

36
answers
15
questions
~35k
people reached
  • Munich, Germany
  • gentzen.wordpress.com
  • Member for 6 years, 2 months
  • 400 profile views
  • Last seen Jan 21 at 9:30

Communities (13)

Top Meta Posts
0
1

Top network posts

Top tags (61)

Score 41
Posts 31
Posts % 61
Score 41
Posts 8
Score 15
Posts 6
Score 13
Posts 3
Score 12
Posts 3
Score 11
Posts 3
View all tags →

Top posts (51) All Questions Answers | Votes Newest

24 Proof refutation: Amateur reviews of ambitious CoRR papers Oct 3 '16
18 Is anyone aware of a counter-example to the Dharwadker-Tevet Graph Isomorphism algorithm? Aug 16 '15
18 Turing Machine restrictions that render halting decidable May 12 '16
13 Is ALogTime != PH hard to prove (and unknown)? May 9 '16
13 Conclusions from reverse mathematical strength of graph minor theorem Oct 28 '17
12 Does P/poly $\neq$ NP/poly have any interesting implications? Jun 26 '15
12 What evidence is there that Graph Isomorphism is not in $P$? Aug 3 '15
12 Is there an algorithm that finds the forbidden minors? Nov 3 '18
11 Is the finite inverse semigroup isomorphism problem GI-complete? Jan 3 '15
10 Can true randomness (provably) be replaced with Kolmogorov randomness for RP? Jan 7 '17
View all questions and answers →

Badges (55)

Gold

—

Silver

13

Rarest

Bronze

42

Rarest

View all badges →