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.

3 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
65 questions
Agda is a dependently-typed programming language and a proof assistant.
16 questions
Theoretical questions about Artificial Intelligence
61 questions
95 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.
459 questions
Hardness of approximation, aka inapproximability.
182 questions
8 questions
3 questions
22 questions
4 questions
0 questions
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
376 questions
Automated theorem proving is the proving of mathematical theorems by a computer program.
48 questions
12 questions
1
2 3 4 5
16