Tags

A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

2 questions
8 questions
2 questions
2 questions
4 questions
0 questions
Questions about advice and nonuniformity
39 questions
practical questions about doing research in theoretical computer science
63 questions
Agda is a dependently-typed programming language and a proof assistant.
16 questions
Theoretical questions about Artificial Intelligence
62 questions
95 questions
2 questions
Algebraic topology is the study of objects under continuous deformation using tools from abstract algebra such as groups, fields , rings and algebras (a combination of a group and a ring). An example …
13 questions
3 questions
0 questions
4 questions
5 questions
9 questions
Questions arising from applications of theoretical computer science in other areas of computer science research/practice or other subjects.
70 questions
Questions about approximation algorithms.
453 questions
Hardness of approximation, aka inapproximability.
181 questions
8 questions
3 questions
4 questions
0 questions
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
373 questions
Automated theorem proving is the proving of mathematical theorems by a computer program.
48 questions
12 questions
1
2 3 4 5
16