Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.

It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory