user avatar
user avatar
user avatar
Thomas Klimpel
  • Member for 10 years, 2 months
  • Last seen this week
135 votes
7 answers
37k views

Is Category Theory useful for learning functional programming?

23 votes
4 answers
4k views

Why do we use persistent data structures in functional programming?

  • 1,719
22 votes
3 answers
565 views

Machines for context-free languages which gain no extra power from nondeterminism

16 votes
4 answers
1k views

Bridge theorems for group theory and formal languages

  • 10.8k
10 votes
9 answers
4k views

Represent a real number without loss of precision

  • 549
8 votes
3 answers
507 views

Isn't polynomial identity testing over arithmetic *expressions* trivial?

8 votes
0 answers
236 views

Complexity of computer algebra for systems of trigonometric equations

  • 539
8 votes
3 answers
526 views

Simple interepretation problem regarding Polynomial Hierarchy?

  • 2,824
6 votes
1 answer
243 views

Book containing many important CS papers

  • 161
6 votes
0 answers
203 views

On the Turing Completeness of First Order Logic

  • 161
5 votes
2 answers
857 views

How to compare two circular sequences in linear time?

4 votes
1 answer
786 views

Visualized definition of cohomology

4 votes
1 answer
142 views

Substitution by structural recursion

  • 143
1 vote
1 answer
281 views

Time/Space cost of Taxicab algorithm?

1 vote
0 answers
85 views

sets of axioms for LADR automated theorem provers

  • 113
0 votes
1 answer
641 views

Longest double increasing subsequence (LIS variant)

  • 385