Skip to main content
Share Your Experience: Take the 2024 Developer Survey

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.

4 questions
8 questions
2 questions
2 questions
4 questions
0 questions
Questions about advice and nonuniformity
47 questions
practical questions about doing research in theoretical computer science
65 questions
Agda is a dependently-typed programming language and a proof assistant.
19 questions
Theoretical questions about Artificial Intelligence
67 questions
103 questions
3 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 …
15 questions
3 questions
0 questions
4 questions
6 questions
Questions related to (un)ambiguous formal grammars or automata, inherent ambiguity of languages, and similar topics.
5 questions
12 questions
Questions arising from applications of theoretical computer science in other areas of computer science research/practice or other subjects.
74 questions
58 questions
Questions about approximation algorithms.
520 questions
Hardness of approximation, aka inapproximability.
201 questions
8 questions
4 questions
0 questions
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
432 questions
Automated theorem proving is the proving of mathematical theorems by a computer program.
47 questions
1
2 3 4 5
16