Reference library
Foundations
Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.
Information
Choose a topic, or browse all reference entries in this area.
Algorithms & data structuresData structures, search, graphs, optimization and computational algorithms.30 reference entriesComputation & complexityRepresentation, formal languages, computability and resource bounds.40 reference entriesInformation & communicationEntropy, coding, channels and information flow through networks.31 reference entriesComputing & distributed systemsDigital circuits, computer architecture, software, concurrency and consensus.30 reference entriesLearning & inferenceStatistical learning, Bayesian methods, robustness and privacy.22 reference entriesSecurity & cryptographyCryptographic assumptions, security arguments and post-quantum methods.17 reference entriesQuantum informationQuantum computation, information, error correction and complexity.15 reference entriesLogic & verificationProof systems, program reasoning and mechanized verification.9 reference entriesShared & other conceptsOther entries in this field, including foundations shared with other fields.15 reference entries