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.

5 questions
8 questions
2 questions
2 questions
4 questions
0 questions
Questions about advice and nonuniformity
41 questions
practical questions about doing research in theoretical computer science
65 questions
Agda is a dependently-typed programming language and a proof assistant.
17 questions
Theoretical questions about Artificial Intelligence
62 questions
96 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
Questions arising from applications of theoretical computer science in other areas of computer science research/practice or other subjects.
70 questions
5 questions
Questions about approximation algorithms.
470 questions
Hardness of approximation, aka inapproximability.
184 questions
8 questions
3 questions
4 questions
0 questions
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
382 questions
Automated theorem proving is the proving of mathematical theorems by a computer program.
49 questions
12 questions
1
2 3 4 5
16