InfoSurf
← All Knowledge Domains

Formal Sciences

Topics listed horizontally · click any term to search

505 topics

Topics under each heading are shown in a single line separated by *. Click any topic to open a Google search for the full hierarchical path.
Mathematics
Foundations
Set Theory
Naive set theory * Axiomatic set theory (ZFC, NBG, MK) * Inner models * Forcing * Large cardinals * Descriptive set theory * Fuzzy sets * Multiset theory * Non-well-founded sets * Determinacy * Cardinal arithmetic * Precipitous ideals * Core models
Category Theory
Categories and functors * Natural transformations * Limits and colimits * Adjunctions * Monads * Topoi * Higher category theory * Infinity categories * Enriched categories * Model categories * Derived categories * Operads
Type Theory
Simply typed lambda calculus * Dependent types * Martin-Löf type theory * Homotopy type theory * Cubical type theory * Univalent foundations * Higher inductive types * Observational type theory * Refinement types * Linear types
Proof Theory
Natural deduction * Sequent calculus * Cut elimination * Proof nets * Ordinal analysis * Reverse mathematics * Proof mining * Structural proof theory * Interactive theorem proving
Model Theory
First-order logic * Saturation * Stability theory * O-minimality * Model-theoretic algebra * Classification theory * Simple theories * NIP theories * Geometric model theory
Algebra
Linear Algebra
Vector spaces * Linear transformations * Matrices * Eigenvalues and eigenvectors * Canonical forms * Inner product spaces * Multilinear algebra * Tensor algebra * Exterior algebra * Clifford algebras * Singular value decomposition * Numerical linear algebra * Random matrix theory
Group Theory
Finite groups * Abelian groups * Lie groups * Algebraic groups * Representation theory of groups * Character theory * Geometric group theory * Topological groups * Profinite groups * p-adic groups * Finite simple groups * Coxeter groups
Ring Theory
Commutative rings * Noncommutative rings * Ideals * Modules * Homological algebra * Noetherian rings * Dedekind domains * Artinian rings * Local rings * Regular rings * Cohen-Macaulay rings
Field Theory
Galois theory * Finite fields * Local fields * Global fields * Valuation theory * Class field theory * Inverse Galois problem * Differential Galois theory
Algebraic Geometry
Varieties * Schemes * Sheaves * Cohomology * Moduli spaces * Intersection theory * Derived algebraic geometry * Stacks * Motives * Birational geometry * Arithmetic geometry
Number Theory
Elementary number theory * Algebraic number theory * Analytic number theory * Arithmetic geometry * Diophantine equations * Modular forms * Elliptic curves * L-functions * Langlands program * Iwasawa theory * p-adic L-functions * Transcendental number theory * Additive number theory
Analysis
Real Analysis
Measure theory * Lebesgue integration * Lp spaces * Fourier analysis * Distribution theory * Sobolev spaces * Geometric measure theory * Fractal geometry * Ergodic theory
Complex Analysis
Holomorphic functions * Riemann surfaces * Complex dynamics * Several complex variables * Value distribution theory * Nevanlinna theory * Teichmüller theory * Complex geometry
Functional Analysis
Banach spaces * Hilbert spaces * Operator theory * Spectral theory * C*-algebras * Von Neumann algebras * Noncommutative geometry * Banach algebras * Operator algebras * Fredholm theory
Harmonic Analysis
Fourier series * Wavelets * Abstract harmonic analysis * Representation theory of Lie groups * Littlewood-Paley theory * Singular integrals * Restriction theorems
Differential Equations
Ordinary differential equations * Partial differential equations * Dynamical systems * Control theory * Stochastic PDEs * Navier-Stokes equations * Reaction-diffusion systems * Hamilton-Jacobi equations
Geometry & Topology
Differential Geometry
Manifolds * Riemannian geometry * Symplectic geometry * Contact geometry * Complex geometry * Gauge theory
Algebraic Topology
Homotopy theory * Homology and cohomology * Spectral sequences * K-theory * Cobordism * Stable homotopy theory
Geometric Topology
Knot theory * 3-manifolds * 4-manifolds * Surgery theory * Topological quantum field theory
Discrete Geometry
Convex geometry * Packing and covering * Polyhedral combinatorics * Computational geometry
Combinatorics & Discrete Math
Enumerative Combinatorics
Generating functions * Bijective proofs * Partition theory * Species theory * Asymptotic enumeration
Graph Theory
Structural graph theory * Extremal graph theory * Random graphs * Graph coloring * Matching theory * Spectral graph theory * Topological graph theory * Graph algorithms
Extremal & Probabilistic Combinatorics
Extremal set theory * Probabilistic method * Szemerédi regularity * Additive combinatorics * Ramsey theory
Other Discrete Structures
Design theory * Coding theory * Matroid theory * Order theory * Finite geometry
Probability & Stochastic Processes
Foundations of Probability
Measure-theoretic probability * Conditional expectation * Martingales * Convergence theorems
Stochastic Processes
Markov processes * Brownian motion * Lévy processes * Point processes * Interacting particle systems
Stochastic Analysis
Stochastic calculus * Stochastic differential equations * Malliavin calculus * Large deviations * Random matrices
Mathematical Logic (advanced)
Recursion theory * Computability theory * Descriptive set theory advanced * Inner model theory * Forcing axioms * Woodin cardinals
Computer Science
Theory of Computation
Automata & Formal Languages
Finite automata * Pushdown automata * Turing machines * Formal language hierarchy * Tree automata
Computability
Recursive functions * Recursively enumerable sets * Degrees of unsolvability * Oracle computation
Complexity Theory
P vs NP * Circuit complexity * Communication complexity * Parameterized complexity * Fine-grained complexity * Quantum complexity * Average-case complexity * Interactive proofs * PCP theorem
Algorithms & Data Structures
Algorithm Design Paradigms
Divide and conquer * Dynamic programming * Greedy algorithms * Amortized analysis * Online algorithms
Graph & Network Algorithms
Shortest paths * Maximum flow * Matching algorithms * Network design * Graph sparsification
Advanced Algorithms
Approximation algorithms * Randomized algorithms * Streaming algorithms * Parallel and distributed algorithms * Sublinear algorithms * Property testing
Data Structures
Balanced trees * Hashing * Priority queues * Union-find * Succinct data structures * Persistent data structures
Programming Languages
Language Design & Semantics
Type systems * Operational semantics * Denotational semantics * Axiomatic semantics * Effect systems
Implementation
Compilers * Interpreters * Just-in-time compilation * Garbage collection * Program analysis * Static analysis
Paradigms
Functional programming * Logic programming * Concurrent programming models * Object-oriented programming foundations * Domain-specific languages
Formal Methods
Model checking * Theorem proving * Abstract interpretation * Program synthesis * Runtime verification * Formal verification of hardware * Software model checking * Separation logic * Concurrent separation logic
Artificial Intelligence and Machine Learning
Core AI
Search * Knowledge representation * Planning * Reasoning under uncertainty * Multi-agent systems * Constraint satisfaction * Automated reasoning
Machine Learning
Supervised & Unsupervised
Supervised learning * Unsupervised learning * Semi-supervised learning * Self-supervised learning
Deep Learning
Neural network architectures * Optimization for deep learning * Generative models * Transformers * Graph neural networks * Diffusion models
Specialized ML
Reinforcement learning * Probabilistic graphical models * Kernel methods * Ensemble methods * Transfer learning * Meta-learning * Causal inference in ML * Federated learning
Computer Vision
Image recognition * Object detection * Segmentation * 3D vision * Video understanding * Generative models for vision * Vision-language models * Self-supervised vision
Natural Language Processing
Language modeling * Machine translation * Information extraction * Question answering * Dialogue systems * Multimodal language models * Retrieval-augmented generation * Evaluation of language models
Systems & Architecture
Computer Architecture
Instruction set architecture * Pipelining * Memory hierarchy * Multicore and manycore * Domain-specific architectures * Hardware security
Operating Systems & Distributed Systems
Operating systems * Distributed systems * Consensus protocols * Distributed storage * Cloud computing * Edge computing * Serverless computing
Networking & Storage
Computer networking * Network protocols * Software-defined networking * Storage systems * File systems * Databases
Security & Cryptography
Cryptography
Symmetric cryptography * Public-key cryptography * Hash functions * Zero-knowledge proofs * Secure multiparty computation * Post-quantum cryptography * Homomorphic encryption * Cryptographic protocols
Systems & Network Security
Systems security * Network security * Web security * Malware analysis * Secure software engineering * Privacy-preserving technologies * Trusted execution environments
Human-Computer Interaction
User interface design * Usability * Accessibility * Information visualization * Augmented and virtual reality interfaces * Interaction techniques * User experience research
Statistics and Data Science
Statistical Theory
Estimation theory * Hypothesis testing * Bayesian inference * Decision theory * Asymptotic statistics * Nonparametric statistics * High-dimensional statistics * Empirical process theory * Statistical learning theory
Statistical Methods
Regression * Generalized linear models * Time series * Survival analysis * Multivariate analysis * Experimental design * Causal inference * Survey sampling * Spatial statistics * Functional data analysis
Data Science Practice
Data cleaning and wrangling * Exploratory data analysis * Feature engineering * Model evaluation * Interpretable ML * MLOps * Reproducible research * Data ethics * Data visualization * Responsible AI
Computational Statistics
Monte Carlo methods * Markov chain Monte Carlo * Bootstrap * EM algorithm * Variational inference * Approximate Bayesian computation * Sequential Monte Carlo * Hamiltonian Monte Carlo
Logic
Classical & Philosophical Logic
Philosophical logic * Classical first-order logic * Higher-order logic * Second-order logic
Non-classical Logics
Modal logics * Temporal logics * Epistemic logics * Deontic logic * Many-valued logics * Fuzzy logic * Linear logic * Relevance logic * Intuitionistic logic * Paraconsistent logic
Computational & Applied Logic
Computational logic * Logic programming foundations * Description logics * Automated theorem proving * Logic in AI
Top