Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

× 37
Questions about analysis of proofs in theories
× 37
Questions about advice and nonuniformity
× 37
Given a specification, does a program satisfy it?
× 34
× 34
said to be Hamiltonian if it visits each vertex exactly once.
× 33
Given a program and the input for it, does it halt or run forever?
× 33
Questions about Software/Programs/Applications used by TCS researchers
× 33
set functions which usually appear in approximation algorithms, functions modeling user preferences in game theory,economics, combinatorial optimization, elect…
× 31
an application program that helps humans construct machine-checked proofs.
× 31
Topology the study of objects that can be continuously deformed into other objects without tearing or making holes in the object. It can also mean a family of sets that have the property of a topologi…