user avatar
user avatar
user avatar
NietzscheanAI
  • Member for 9 years, 6 months
  • Last seen more than a month ago
6 votes

Book for self study of algorithms in group theory

4 votes

Papers on relation between computational complexity and algebraic geometry/topology?

3 votes

Program reasoning about own source code

2 votes

Is it a Known Concept to Compute an Algorithm Once and Re-Interpret Answer for Different Inputs

2 votes

A clear and rigorous explanation of critical pairs and the Knuth-Bendix completion algorithm?

1 vote

What are some real world applications for genetic algorithms?

1 vote

Status quo of category theory and monads in theoretical computer science research?

1 vote

How to constrain a finite automaton (NFA and DFA) to a tree?

1 vote

A search problem and no algorithm for it

1 vote

Representation of procedural knowledge

0 votes
Accepted

Concatenative binary lambda calculus/combinatory logic

0 votes

Convergence theorem for Genetic Programming?