wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

theoretical_computer_science (1229B)

      1 # Theoretical computer science
      2 
      3 ## Fields
      4 
      5 - [track_A] and [track_B]
      6 - [logic], [finite_model_theory]
      7 - [automated_theorem_proving]
      8 - [formal_language_theory]
      9 - [circuit]
     10   - [probabilistic_circuit]
     11   - [circuit_complexity]
     12 - [computational_complexity]
     13   - [communication_complexity]
     14   - [lower_bounds]
     15 - [constraint_satisfaction_problem]
     16 - [typing_theory]
     17 - [descriptive_complexity]
     18 - [database_theory]
     19 - [graph_theory]
     20 - [stringology]
     21 
     22 ## Concepts
     23 
     24 - [data_structure]
     25 - [boolean_function]
     26 - [ram_model]
     27 - [turing_machine]
     28 
     29 ## Resources
     30 
     31 - cours "A Theorist's Toolkit" with tools that are useful when doing theoretical computer science http://www.cs.cmu.edu/~odonnell/toolkit13/
     32 - agregator https://cstheory-feed.org/
     33   - list of [blog] https://rjlipton.wpcomstaging.com/2022/01/26/a-list-of-most-theory-blogs/
     34 - descriptive resources https://cstheory.stackexchange.com/questions/36436/where-to-learn-more-about-what-theoretical-computer-science-is
     35 - wigderson2019mathematics
     36 
     37 ## Questions
     38 
     39 - [balancing]
     40 - [optimization]
     41 - [unique_games_conjecture]
     42 
     43 ## Algorithms
     44 
     45 - [sieve_of_eratosthenes]
     46 - [euclidean_algorithm] for [greatest_common_divisor]
     47 
     48 Up: [formal_science], [research_fundamental] of [computer_science]
     49 
     50 Aliases: TCS