Skip to content
Internet Public Library

Information Theory

Community wiki for Information Theory in Computer Science Theory

Overview

Topic context

Information Theory belongs to Computer Science Theory in Academics. The section page organizes its resources and links to related topics.

References and explanations

Contributions to this wiki should identify their sources and distinguish definitions, examples, and applications. When proposing an explanation about Information Theory, include references that readers can use to verify its claims.

Contributing

Use “Edit” to propose a correction or explanation on GitHub. To recommend study material, use “Suggest a resource” and include its address, authorship when known, and relevance to Information Theory.

Learning materials Community knowledge Edit this article Join the conversation

Curated Resources

Curated for Computer Science Theory, which includes Information Theory.

  • Computational Complexity Blog blog
    blog.computationalcomplexity.org

    Influential academic blog written by Lance Fortnow and Bill Gasarch exploring complexity theory, algorithms, and theory life.

  • Windows on Theory blog
    windowsontheory.org

    Collaborative research blog by theoretical computer scientists discussing algorithms, complexity, cryptography, and open problems.

  • Theoretical Computer Science Stack Exchange community
    cstheory.stackexchange.com

    Question and answer community for researchers, academics, and graduate students in theoretical computer science.

  • In Theory blog
    lucatrevisan.wordpress.com

    Theoretical computer science blog maintained by the late Luca Trevisan, covering complexity theory, randomness, and spectral graph theory.

  • Complexity Zoo database
    complexityzoo.net

    Comprehensive wiki cataloging computational complexity classes and their structural relationships.

  • dblp Computer Science Bibliography database
    dblp.org

    Extensive open bibliographic database indexing major conferences and journals across computer science and theoretical computing.

  • Cryptology ePrint Archive database
    eprint.iacr.org

    Scientific repository for rapid dissemination of preprints and technical reports in cryptology and theoretical cryptographic foundations.

  • Quantum Algorithm Zoo database
    quantumalgorithmzoo.org

    Comprehensive catalog of quantum algorithms with speedup factors over classical counterparts and bibliographic citations.

  • ACM Symposium on Theory of Computing (STOC) conference
    www.sigact.org

    Flagship annual international symposium sponsored by ACM SIGACT covering all foundational areas of theoretical computer science.

  • Computational Complexity Conference (CCC) conference
    computationalcomplexity.org

    Annual academic conference organized by the Computational Complexity Foundation dedicated to computational complexity.

  • International Colloquium on Automata, Languages and Programming (ICALP) conference
    eatcs.org

    Main annual conference of the European Association for Theoretical Computer Science, covering algorithms, complexity, and logic.

  • Design and Analysis of Algorithms (MIT OpenCourseWare) course
    ocw.mit.edu

    Advanced undergraduate course covering design and analysis paradigms, randomized algorithms, amortized analysis, and graph algorithms.

  • Algorithms by Jeff Erickson textbook
    jeffe.cs.illinois.edu

    Free, open-access textbook covering recursion, dynamic programming, randomized algorithms, graph algorithms, and NP-hardness.

  • Computational Complexity: A Modern Approach textbook
    theory.cs.princeton.edu

    Comprehensive graduate-level textbook on computational complexity theory by Sanjeev Arora and Boaz Barak.

  • Algorithms, Part I course
    www.coursera.org

    Fundamental course on essential algorithms and data structures taught by Robert Sedgewick and Kevin Wayne.

  • Theory of Computing journal
    theoryofcomputing.org

    Diamond open-access scientific journal publishing high-quality research papers across theoretical computer science.

  • ACM Transactions on Computation Theory journal
    dl.acm.org

    Peer-reviewed journal publishing research on computational complexity, algorithmic foundations, cryptography, and randomness.

  • Algorithmica journal
    link.springer.com

    International journal devoted to the design and analysis of algorithms in computing and discrete applied mathematics.

  • Electronic Colloquium on Computational Complexity reference
    eccc.weizmann.ac.il

    Archival forum and screened scientific preprint archive dedicated to computational complexity theory.

  • Z3 Theorem Prover tool
    z3prover.github.io

    High-performance satisfiability modulo theories (SMT) solver developed by Microsoft Research for software verification and analysis.

  • Coq Proof Assistant tool
    coq.inria.fr

    Formal proof management system that provides a formal language to write mathematical definitions, algorithms, and theorems together with an environment for semi-interactive development of machine-checked proofs.

  • Lean Prover tool
    lean-lang.org

    Interactive theorem prover and pure functional programming language based on the calculus of constructions.

  • JFLAP tool
    www.jflap.org

    Educational software for experimenting with formal languages and automata theory, including finite state machines, pushdown automata, and Turing machines.

  • SPIN Model Checker tool
    spinroot.com

    Popular open-source software verification tool for the formal verification of multi-threaded software and distributed algorithms.

Suggest a resource

Wiki

The wiki collects community contributions about Information Theory within Computer Science Theory. Propose explanations, references, or corrections through GitHub.

Back to Information Theory Edit wiki

Community Discussion

Join the conversation, ask questions, or suggest improvements to this content.

Loading discussions...

Academics · Computer Science Theory