Computer Science
user avatar
user avatar
user avatar
Thomas Klimpel
  • Member for 10 years, 2 months
  • Last seen this week
Profile Activity
Stats
5,322
reputation
164k
reached
99
answers
41
questions
Communities
View all
About

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

My current interests are more diffuse, and got more directed towards computer science. I'm especially interested in software development as a collaborative activity.

Badges
View all badges
This user doesn’t have any gold badges yet.
25
silver badges
59
bronze badges
Top tags
View all tags
69
Score
46
Posts
33
Posts %
48
Score
12
Posts
9
Posts %
45
Score
15
Posts
11
Posts %
38
Score
12
Posts
9
Posts %
34
Score
14
Posts
10
Posts %
23
Score
7
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
18
Is there an O(n log n) algorithm for 4D line simplification?
May 8, 2014
question
16
Is it decidable whether a pushdown automaton recognizes a given regular language?
Apr 25, 2015
question
13
Is there a data-structure for semilattices similar to a tree data-structure?
Oct 22, 2012
answer
13
Is there a computationally reasonable algorithm for generating a set of polygons from a set of 2d points?
Aug 4, 2015
answer
12
Literature about a naive approach to graph isomorphism by inspecting polynomials of adjacency matrices
Nov 10, 2016
question
11
The equivalence relations cover problem (in graph theory)
Jun 19, 2014
answer
10
What would be the real-world implications of a constructive $P=NP$ proof?
Dec 31, 2014
answer
10
Smallest class of automata model whose corresponding language class contains CFL and is closed against (dis)allowing nondeterminism in the model
Jun 1, 2015
answer
9
Which research languages have a stronger typesystem than Haskell and why?
Aug 19, 2015
answer
9
Reference book for Parallel Computing and Parallel algorithms.
Jan 5, 2018
Top Meta posts
1
6
9
Community Promotion Ads 2015
8
Community Promotion Ads - 2016
6
Let's get critical: Nov 2013 Site Self-Evaluation
4
Questions more suitable for "Computational Science" instead of "Computer Science"
4
Integration of an interactive graph editor
Top network posts
View all network posts
54
What are some very important papers published in non-top journals?
34
How did first-order logic come to be the dominant formal logic?
30
Proof refutation: Amateur reviews of ambitious CoRR papers
28
On mathematical arguments against Quantum computing
24
Mathematical research interrupted by a war

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.