Tags¶
- Metadata: #topic
- Part of: Science Formal science Natural science Omnidisciplionary
- Related:
- Includes: Mathematical theory of artificial intelligence
- Additional:
Significance¶
Intuitive summaries¶
Definitions¶
- Area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes
- Philosophy constrained by strict symbolic formal [[Definition|definitions]] and rules (logic studies those rules) studying arbitrary relations between arbitrary things or inner structure of things
Technical summaries¶
Main resources¶
Landscapes¶
- Outline of mathematics - Wikipedia
-
- Foundations of mathematics
- Logic - Set theory - Category theory
- [[Number theory]]
- [[Algebra]]
- [[Linear algebra]]
- [[Group theory]]
- [[Geometry]]
- [[Topology]]
- [[Calculus]] and Mathematical analysis
- [[Discrete mathematics]]
- [[Graph theory]]
- Statistics, Probability theory
- Computer science
-
Unity
- [[Algebraic Geometry]]
- [[Algebraic Topology]]
- [[Differential Topology]]
-
[[Computational mathematics]]
- Metamathematics
- mathematics in nLab
- Mathematics | /sci/ Wiki | Fandom
- Physics
Contents¶
Deep dives¶
Brain storming¶
- Můj hlavní cíl je vytvořit velkou vizuální mapu, která má co nejvíc informací o matematice přes ukázání těch nejdůležitějších matematických struktur, definic, rovnic, s co nejmenší textovou omáčkou kolem, chci aby co největší % mapy byly hlavně nejvíc matematický symboly, celý v jednom obřím čitelným plagátu! Což jsem ještě neviděl. Jsou nějaký mapy, tabulky, seznamy, wikiny apod. matematiky, ze kterých se inspiruju, ale neviděl jsem nic jako vizuální mapu tuny definicí a rovnic z hlavně foundations matiky, čistou matiku a aplikovanou matiku: teoretickou fyziku, teorii systémů, matematickou biologii, AI, ostatní matematický aplikovaný vědy a engineering obory, který vidím za nejdůležitější. Často jsou moc obecný nebo moc konkrétní jinde než chci. Existuje třeba mapa matiky od domain of science, nebo fyziky (má jich víc), Mathematopia, geometric representation of mathematics http://srln.se/mapthematics.pdf , od Zooga, tahle Laglands nádhera, nebo tady jich pár je listed v math stackexchange nebo google search nachází nějaký další. Plus Peak math staví velkou vizuální interaktivní mapu.
Nebo je ještě existují různý wikiny a seznamy: Wikipedie (Matika: category, outline, portal, list of topics, areas, https://en.wikipedia.org/wiki/Category:Fields_of_mathematics nebo fyzika: category, outline, portal), encyklopedia of mathematics, Wolfram math world, Mathematics Subject Classification(na wiki), math fandom, mathematics atlas, awesome math, tenhle strom apod., ale to nejsou vizuální mapy tím jak jsou to wikiny, a jsou v nějakých věcech nedostatečně specializovaný nebo až moc detailní a dávají tam všemožnou omáčku kolem těch rovnic, a já chci s co nejmenší omáčkou mít v obří mapě co nejvíc jen ty matematický symboly. Nebo ještě rád promptuju AIs a snažím se z nich vydolovat koncepty, rovnice, asociace kolem různých oborů a témat přes prompty typu "write a gigantic list of all subfields in math/physics", "write a gigantic list of the most important structures and equations used in this subfield of physics or mathematics", apod. a ty pak dohledávám.
Nebo The Princeton Companion to Mathematics(pdf) https://www.amazon.com/Princeton-Companion-Applied-Mathematics/dp/0691150397?ref=d6k_applink_bb_dls&dplnkId=352f8fc3-ee97-4716-817a-e8feea9cd8c2 kniha vypadá zajímavě, nebo je ještě Mathematical Promenade. Nebo je ještě proof wiki, ale to je hlavně na proofs, já chci hlavně dát na jedno místo ty výsledky co nejvíc kompresovaně, aby se těch výsledných definicí, rovnic a různých propojeních vešlo co nejvíc na co nejmíň místa. Nebo quanta magazine má mapu na trochu matiky a fyziky. Wiki má ještě fajn theoretical physics a mathematical physics nebo https://en.wikipedia.org/wiki/Mathematical_and_theoretical_biology, trillion AI theory matiky (principles of deep learning theory, statistical learning theory), free energy principle,... Dynamical systems, systems theory,... Nebo je ještě nlab (matika, fyzika) ale to hlavně magie od šílenců z teorií kategorií, toho chci mít jenom část mý mapy, teorie kategorií svěle umožňuje propojovat jednotlivý matematický vesmíry (od Math3ma, od Southwella). Tenhle týpek má fajn list konkrétnějších knížek podoborů matiky. p
Nejradši bych si to prošel úplně všechno do těch nejmenšejšíšch detailíčků a naučil se všechno, ale potřeboval bych nekonečno času. :smile:
Já chci do ruky to nový pro všechny neveřejný Googlí AI s lepším reasoningem a kvalitnější a 100x větší pamětí než ChatGPT a všechno mu to nacpat. 😄 Nebo použít dosavadní veřejný LLMs s databázovou pamětí aka groundingem nebo finetuningem, hmm.
Additional resources¶
Related¶
AI Landscapes¶
- Map
I. Pure Mathematics
A. Algebra
- Abstract Algebra a. Group Theory - Lie Groups - Representation Theory b. Ring Theory c. Field Theory - Galois Theory d. Homological Algebra - Category Theory - K-Theory
- Linear Algebra
- Vector Spaces
- Matrix Theory
- Tensor Analysis
- Number Theory
- Analytic Number Theory
- Algebraic Number Theory
- Diophantine Equations
- Combinatorics
- Graph Theory
- Enumerative Combinatorics
- Algebraic Combinatorics
- Algebraic Geometry
- Schemes
- Sheaf Theory
- Cohomology Theories
- Commutative Algebra
- Ideal Theory
- Homological Methods
- Non-Commutative Algebra
- Representation Theory
- Hopf Algebras
- Quantum Groups B. Analysis
- Real Analysis
- Measure Theory
- Functional Analysis
- Harmonic Analysis
- Complex Analysis
- Riemann Surfaces
- Analytic Functions
- Complex Dynamics
- Functional Analysis a. Hilbert Spaces b. Banach Spaces c. Operator Theory d. Spectral Theory
- Harmonic Analysis a. Fourier Analysis b. Wavelets c. Representation Theory
- Differential Equations a. Ordinary Differential Equations - Dynamical Systems - Bifurcation Theory - Stability Theory b. Partial Differential Equations - Elliptic PDEs - Parabolic PDEs - Hyperbolic PDEs
- Probability Theory
- Stochastic Processes
- Markov Chains
- Martingales
- Statistics
- Estimation Theory
- Hypothesis Testing
- Regression Analysis C. Geometry and Topology
- Euclidean Geometry
- Non-Euclidean Geometry a. Hyperbolic Geometry b. Elliptic Geometry
- Differential Geometry a. Riemannian Geometry b. Symplectic Geometry c. Poisson Geometry d. Kähler Geometry e. Finsler Geometry
- Algebraic Topology a. Homotopy Theory b. Homology Theory c. Cohomology Theory d. K-Theory
- Differential Topology a. Morse Theory b. Floer Homology c. Contact Topology
- Geometric Topology a. Knot Theory b. 3-Manifolds c. 4-Manifolds
- Lie Groups and Lie Algebras
- Representation Theory
- Structure Theory
- Enveloping Algebras D. Logic and Foundations
- Set Theory
- Axiomatic Set Theory
- Descriptive Set Theory
- Large Cardinals
- Model Theory
- First-Order Logic
- Stability Theory
- o-Minimality
- Proof Theory
- Constructive Mathematics
- Type Theory
- Homotopy Type Theory
- Computability Theory
- Recursive Functions
- Turing Machines
- Complexity Theory
- Category Theory
- Topos Theory
- Homological Algebra
- Higher Category Theory
II. Applied Mathematics A. Classical Mechanics 1. Newton's Laws 2. Lagrangian Mechanics - Euler-Lagrange Equations - Hamilton's Principle - Noether's Theorem 3. Hamiltonian Mechanics - Hamilton's Equations - Poisson Brackets - Liouville's Theorem B. Continuum Mechanics 1. Fluid Dynamics - Navier-Stokes Equations - Turbulence - Boundary Layer Theory 2. Elasticity Theory - Hooke's Law - Stress-Strain Relations - Plate and Shell Theory 3. Plasticity Theory - Yield Criteria - Flow Rules - Hardening Laws C. Relativity 1. Special Relativity - Lorentz Transformations - Minkowski Spacetime - Relativistic Mechanics 2. General Relativity - Einstein Field Equations - Schwarzschild Solution - Cosmological Models D. Quantum Mechanics 1. Schrödinger Equation - Wave Functions - Operators - Eigenvalues and Eigenfunctions 2. Heisenberg Uncertainty Principle 3. Dirac Equation - Spinors - Relativistic Quantum Mechanics 4. Quantum Field Theory - Feynman Diagrams - Renormalization - Gauge Theories E. Statistical Mechanics 1. Thermodynamics - Laws of Thermodynamics - Entropy - Free Energy 2. Kinetic Theory - Boltzmann Equation - H-Theorem - Transport Phenomena 3. Statistical Ensembles - Microcanonical Ensemble - Canonical Ensemble - Grand Canonical Ensemble F. Numerical Analysis 1. Finite Difference Methods 2. Finite Element Methods 3. Spectral Methods 4. Monte Carlo Methods 5. Optimization Algorithms G. Optimization 1. Linear Programming - Simplex Method - Duality Theory - Interior Point Methods 2. Nonlinear Programming - Gradient Methods - Newton's Method - Conjugate Gradient Methods 3. Variational Calculus - Euler-Lagrange Equations - Hamilton's Principle - Noether's Theorem 4. Optimal Control Theory - Pontryagin's Maximum Principle - Dynamic Programming - Hamilton-Jacobi-Bellman Equation H. Dynamical Systems 1. Chaos Theory - Lyapunov Exponents - Strange Attractors - Fractal Dimensions 2. Bifurcation Theory - Hopf Bifurcation - Saddle-Node Bifurcation - Pitchfork Bifurcation 3. Ergodic Theory - Ergodic Theorems - Mixing - Entropy
III. Interdisciplinary Fields A. Mathematical Physics 1. Quantum Field Theory - Gauge Theories - Renormalization - Conformal Field Theory 2. String Theory - Superstring Theory - M-Theory - Dualities 3. Conformal Field Theory - Virasoro Algebra - Kac-Moody Algebras - Vertex Operator Algebras 4. Integrable Systems - Soliton Equations - Inverse Scattering Transform - Quantum Integrable Systems B. Mathematical Biology 1. Population Dynamics - Lotka-Volterra Equations - Predator-Prey Models - Evolutionary Game Theory 2. Epidemiology - SIR Models - Network Models - Stochastic Epidemic Models 3. Neuroscience - Hodgkin-Huxley Model - FitzHugh-Nagumo Model - Neural Networks 4. Bioinformatics - Sequence Alignment - Phylogenetics - Gene Expression Analysis C. Mathematical Finance 1. Stochastic Calculus - Itô Calculus - Stochastic Differential Equations - Feynman-Kac Formula 2. Option Pricing Theory - Black-Scholes Model - Binomial Option Pricing Model - Lévy Processes 3. Portfolio Optimization - Mean-Variance Analysis - Capital Asset Pricing Model - Arbitrage Pricing Theory 4. Risk Management - Value at Risk - Expected Shortfall - Copula Theory D. Mathematical Economics 1. Game Theory - Nash Equilibrium - Evolutionary Game Theory - Mechanism Design 2. Econometrics - Linear Regression - Time Series Analysis - Panel Data Analysis 3. General Equilibrium Theory - Arrow-Debreu Model - Welfare Theorems - Existence and Uniqueness 4. Mechanism Design - Auction Theory - Matching Theory - Social Choice Theory E. Mathematical Computer Science 1. Algorithms and Complexity - Analysis of Algorithms - Computational Complexity Theory - Approximation Algorithms 2. Cryptography - Public Key Cryptography - Elliptic Curve Cryptography - Quantum Cryptography 3. Machine Learning - Supervised Learning - Unsupervised Learning - Reinforcement Learning 4. Quantum Computing - Quantum Algorithms - Quantum Error Correction - Quantum Complexity Theory
Map of mathematics
- Foundations
a. Logic and Set Theory - Propositional Logic
- First-Order Logic
- Axiomatic Set Theory
- Zermelo-Fraenkel Set Theory
b. Mathematical Reasoning and Proof - Deductive Reasoning
- Inductive Reasoning
- Proof Techniques (Direct, Contradiction, Induction)
c. Number Systems - Natural Numbers
- Integers
- Rational Numbers
- Real Numbers
-
Complex Numbers
-
Algebra
a. Elementary Algebra - Variables and Expressions
- Equations and Inequalities
- Systems of Equations
b. Polynomials and Rational Expressions - Polynomial Arithmetic
- Factoring
- Rational Expressions and Functions
c. Equations and Inequalities - Linear Equations and Inequalities
- Quadratic Equations
- Polynomial Equations
- Exponential and Logarithmic Equations
- Trigonometric Equations
d. Functions - Function Notation and Graphing
- Transformations of Functions
- Inverse Functions
- Polynomial Functions
- Rational Functions
- Exponential and Logarithmic Functions
- Trigonometric Functions
e. Matrices and Determinants - Matrix Operations
- Determinants
- Eigenvalues and Eigenvectors
- Matrix Decompositions
f. Abstract Algebra - Group Theory
- Ring Theory
- Field Theory
- Galois Theory
- Representation Theory
g. Linear Algebra - Vector Spaces
- Linear Transformations
- Inner Product Spaces
- Orthogonality
- Least Squares Approximation
h. Boolean Algebra - Logical Operations
- Truth Tables
- Minimization of Boolean Functions
-
Applications in Computer Science
-
Geometry
a. Euclidean Geometry - Points, Lines, and Planes
- Angles and Triangles
- Congruence and Similarity
- Circles and Spheres
- Polygons and Polyhedra
b. Analytic Geometry - Coordinate Systems
- Distance and Midpoint Formulas
- Equations of Lines and Planes
- Conic Sections
- Parametric Equations
- Vector Geometry
c. Non-Euclidean Geometries - Hyperbolic Geometry
- Elliptic Geometry
- Projective Geometry
d. Trigonometry - Trigonometric Ratios
- Trigonometric Identities
- Solving Triangles
- Trigonometric Functions and Graphs
e. Differential Geometry - Curves and Surfaces
- Tangent Spaces
- Riemannian Geometry
- Geodesics
- Curvature
f. Algebraic Geometry - Affine Varieties
- Projective Varieties
- Schemes
- Cohomology
- Intersection Theory
g. Topology - Topological Spaces
- Continuity and Homeomorphisms
- Connectedness and Compactness
- Homotopy and Fundamental Groups
- Homology and Cohomology
-
Knot Theory
-
Calculus and Analysis
a. Limits and Continuity - Limit Definition and Properties
- Continuity
- Intermediate Value Theorem
b. Derivatives and Differentiation - Definition of the Derivative
- Differentiation Rules
- Implicit Differentiation
- Higher-Order Derivatives
- Applications of Derivatives
c. Integrals and Integration - Definite and Indefinite Integrals
- Fundamental Theorem of Calculus
- Integration Techniques
- Improper Integrals
- Applications of Integration
d. Sequences and Series - Convergence of Sequences
- Series and Convergence Tests
- Power Series
- Taylor Series
e. Multivariable Calculus - Partial Derivatives
- Gradients, Divergence, and Curl
- Multiple Integrals
- Change of Variables
- Line and Surface Integrals
f. Vector Calculus - Vector Fields
- Green's Theorem
- Stokes' Theorem
- Divergence Theorem
g. Differential Equations - First-Order Differential Equations
- Second-Order Linear Differential Equations
- Laplace Transforms
- Systems of Differential Equations
- Partial Differential Equations
h. Real Analysis - The Real Number System
- Sequences and Series of Functions
- Metric Spaces
- Continuity and Differentiability
- Riemann Integration
- Lebesgue Integration
i. Complex Analysis - Complex Numbers and Functions
- Analytic Functions
- Cauchy's Theorem and Integral Formula
- Laurent Series and Residues
- Conformal Mappings
j. Functional Analysis - Normed Vector Spaces
- Hilbert Spaces
- Banach Spaces
- Linear Operators
- Spectral Theory
k. Measure Theory - Measurable Spaces and Functions
- Measures and Integrals
- Lp Spaces
- Radon-Nikodym Theorem
-
Fubini's Theorem
-
Probability and Statistics
a. Probability Theory - Probability Axioms
- Conditional Probability
- Independence
- Random Variables
- Expectation and Variance
- Moment Generating Functions
b. Combinatorics - Permutations and Combinations
- Binomial Coefficients
- Inclusion-Exclusion Principle
- Generating Functions
- Recurrence Relations
c. Discrete Probability Distributions - Bernoulli and Binomial Distributions
- Geometric and Negative Binomial Distributions
- Hypergeometric Distribution
- Poisson Distribution
d. Continuous Probability Distributions - Uniform Distribution
- Normal Distribution
- Exponential Distribution
- Gamma and Beta Distributions
- Chi-Square, t, and F Distributions
e. Statistical Inference - Point Estimation
- Interval Estimation
- Hypothesis Testing
- Likelihood Ratio Tests
- Nonparametric Methods
f. Regression Analysis - Simple Linear Regression
- Multiple Linear Regression
- Nonlinear Regression
- Logistic Regression
- Time Series Analysis
g. Bayesian Statistics - Bayes' Theorem
- Prior and Posterior Distributions
- Bayesian Inference
- Markov Chain Monte Carlo Methods
- Bayesian Networks
h. Stochastic Processes - Markov Chains
- Poisson Processes
- Brownian Motion
- Martingales
-
Stochastic Calculus
-
Discrete Mathematics
a. Graph Theory - Graphs and Digraphs
- Connectivity
- Trees and Spanning Trees
- Eulerian and Hamiltonian Graphs
- Planar Graphs
- Graph Coloring
- Matchings and Coverings
b. Combinatorics - Pigeonhole Principle
- Ramsey Theory
- Latin Squares
- Block Designs
- Polya Enumeration
c. Number Theory - Divisibility and Prime Numbers
- Congruences
- Diophantine Equations
- Quadratic Reciprocity
- Continued Fractions
- Elliptic Curves
d. Cryptography - Classical Cryptosystems
- Public-Key Cryptography
- RSA Cryptosystem
- Discrete Logarithms
- Elliptic Curve Cryptography
e. Game Theory - Two-Person Zero-Sum Games
- Nash Equilibrium
- Cooperative Games
- Evolutionary Game Theory
- Mechanism Design
f. Computational Complexity - Time Complexity
- P and NP Problems
- NP-Completeness
- Approximation Algorithms
-
Randomized Algorithms
-
Applied Mathematics
a. Mathematical Physics - Classical Mechanics
- Lagrangian and Hamiltonian Mechanics
- Noether's Theorem
- Rigid Body Dynamics
- Celestial Mechanics
- Quantum Mechanics
- Schrödinger Equation
- Hilbert Spaces and Operators
- Angular Momentum and Spin
- Perturbation Theory
- Quantum Field Theory
- Relativity
- Special Relativity
- General Relativity
- Differential Geometry of Spacetime
- Cosmology
- Thermodynamics
- Laws of Thermodynamics
- Statistical Mechanics
- Ensemble Theory
- Phase Transitions
- Non-Equilibrium Thermodynamics
b. Fluid Dynamics - Navier-Stokes Equations
- Inviscid Flow
- Viscous Flow
- Turbulence
- Boundary Layer Theory
- Computational Fluid Dynamics
c. Partial Differential Equations - Classification of PDEs
- Separation of Variables
- Fourier Series and Transforms
- Green's Functions
- Finite Difference and Finite Element Methods
d. Numerical Analysis - Error Analysis
- Interpolation and Approximation
- Numerical Differentiation and Integration
- Numerical Linear Algebra
- Numerical Solution of ODEs and PDEs
e. Optimization - Linear Programming
- Nonlinear Programming
- Convex Optimization
- Variational Methods
- Optimal Control Theory
f. Control Theory - Feedback Control Systems
- Stability Analysis
- Controllability and Observability
- Optimal Control
- Robust Control
g. Mathematical Biology - Population Dynamics
- Epidemiology
- Biochemical Kinetics
- Physiological Modeling
- Neural Networks
h. Mathematical Finance - Portfolio Theory
- Options Pricing
- Black-Scholes Model
- Stochastic Calculus in Finance
- Risk Management
i. Operations Research - Linear Programming
- Network Flow Problems
- Integer Programming
- Dynamic Programming
- Queuing Theory
- Inventory Theory
-
Decision Analysis
-
Foundations of Mathematics
a. Mathematical Logic - Propositional and First-Order Logic
- Completeness and Incompleteness Theorems
- Model Theory
- Recursion Theory
b. Set Theory - Axioms of Set Theory
- Ordinal and Cardinal Numbers
- Continuum Hypothesis
- Large Cardinals
- Forcing and Independence Results
c. Category Theory - Categories and Functors
- Natural Transformations
- Limits and Colimits
- Adjoint Functors
- Topoi
d. Proof Theory - Formal Systems
- Sequent Calculus
- Cut Elimination
- Proof Normalization
- Ordinal Analysis
e. Computability Theory - Turing Machines
- Recursive Functions
- Church-Turing Thesis
- Unsolvable Problems
- Degrees of Unsolvability
f. Philosophy of Mathematics - Mathematical Platonism
- Intuitionism and Constructivism
- Formalism
- Structuralism
-
Nominalism
-
History of Mathematics
a. Ancient Mathematics - Egyptian and Babylonian Mathematics
- Greek Mathematics (Pythagoras, Euclid, Archimedes)
- Chinese Mathematics
- Indian Mathematics
b. Medieval Mathematics - Islamic Mathematics
- European Mathematics
- Fibonacci and the Hindu-Arabic Numeral System
c. Early Modern Mathematics - The Renaissance and the Rise of Algebra
- The Development of Analytic Geometry
- The Invention of Calculus (Newton and Leibniz)
d. 19th Century Mathematics - The Rigorous Foundations of Analysis
- The Emergence of Non-Euclidean Geometry
- The Development of Abstract Algebra
- The Birth of Set Theory and Mathematical Logic
e. 20th Century Mathematics - The Crisis in the Foundations of Mathematics
- The Rise of Topology and Functional Analysis
- The Emergence of Computer Science and Discrete Mathematics
- The Development of Chaos Theory and Fractal Geometry
f. Contemporary Mathematics - New Developments in Pure Mathematics (e.g., Langlands Program, Monstrous Moonshine)
- Advances in Applied Mathematics (e.g., Compressed Sensing, Topological Data Analysis)
- The Impact of Computers on Mathematical Research
- Open Problems and Conjectures (e.g., Riemann Hypothesis, P vs. NP)
Map of all mathematics expanded
-
Foundations a. Logic and Set Theory
- Propositional Logic
- Syntax and Semantics
- Logical Connectives
- Truth Tables
- Tautologies and Contradictions
- Logical Equivalence
- Deduction and Inference Rules
- First-Order Logic
- Syntax and Semantics
- Quantifiers
- Models and Interpretations
- Validity and Satisfiability
- Completeness and Compactness Theorems
- Löwenheim-Skolem Theorems
- Axiomatic Set Theory
- Cantor's Naive Set Theory
- Russell's Paradox
- Zermelo-Fraenkel Set Theory (ZFC)
- Axiom of Choice
- Ordinal and Cardinal Numbers
- Transfinite Induction and Recursion
- Alternative Set Theories
- Von Neumann-Bernays-Gödel Set Theory (NBG)
- Morse-Kelley Set Theory (MK)
- New Foundations (NF) b. Mathematical Reasoning and Proof
- Deductive Reasoning
- Modus Ponens and Modus Tollens
- Hypothetical Syllogism
- Disjunctive Syllogism
- Constructive Dilemma
- Reductio ad Absurdum
- Inductive Reasoning
- Generalization
- Analogy
- Causal Inference
- Probablistic Reasoning
- Bayesian Inference
- Proof Techniques
- Direct Proof
- Proof by Contradiction
- Proof by Contrapositive
- Proof by Induction
- Mathematical Induction
- Strong Induction
- Transfinite Induction
- Proof by Cases
- Nonconstructive Proofs c. Number Systems
- Natural Numbers
- Peano Axioms
- Arithmetic Operations
- Ordering and Inequalities
- Prime Numbers and Factorization
- Diophantine Equations
- Integers
- Construction from Natural Numbers
- Arithmetic Operations
- Divisibility and Greatest Common Divisors
- Fundamental Theorem of Arithmetic
- Linear Diophantine Equations
- Rational Numbers
- Construction as Quotients of Integers
- Arithmetic Operations
- Decimal Expansions
- Continued Fractions
- Farey Sequences
- Real Numbers
- Dedekind Cuts
- Cauchy Sequences
- Completeness and Archimedes' Axiom
- Decimal Expansions
- Cantor's Theorem and Uncountability
- Complex Numbers
- Definition and Arithmetic Operations
- Polar Form and Euler's Formula
- Roots of Unity
- Fundamental Theorem of Algebra
- Riemann Sphere
- Quaternions
- Definition and Arithmetic Operations
- Conjugation and Norm
- Quaternionic Exponential and Logarithm
- Rotations in 3D Space
- Octonions
- Definition and Arithmetic Operations
- Non-Associativity and Alternative Algebra
- Automorphism Group and Triality
- Applications in String Theory and Exceptional Lie Groups
- p-adic Numbers
- p-adic Valuations and Absolute Values
- Hensel's Lemma
- p-adic Expansions
- p-adic Analysis and Integration
- Applications in Number Theory and Cryptography
- Surreal Numbers
- Conway's Construction
- Arithmetic Operations and Ordering
- Transfinite Numbers and Infinitesimals
- Surreal Analysis and Integration
- Propositional Logic
-
Algebra a. Elementary Algebra
- Variables and Expressions
- Constants and Variables
- Algebraic Expressions
- Evaluating Expressions
- Simplifying Expressions
- Translating Verbal Descriptions into Algebraic Expressions
- Equations and Inequalities
- Solving Linear Equations
- Solving Linear Inequalities
- Absolute Value Equations and Inequalities
- Literal Equations
- Formulas and Applications
- Systems of Equations
- Solving Systems of Linear Equations
- Graphical Method
- Substitution Method
- Elimination Method
- Solving Systems of Nonlinear Equations
- Applications and Word Problems b. Polynomials and Rational Expressions
- Solving Systems of Linear Equations
- Polynomial Arithmetic
- Addition and Subtraction of Polynomials
- Multiplication of Polynomials
- Division of Polynomials (Long Division and Synthetic Division)
- Polynomial Identities
- Factoring Polynomials
- Greatest Common Factor
- Grouping
- Difference of Squares
- Sum and Difference of Cubes
- General Trinomials
- Factoring by Substitution
- Rational Expressions and Functions
- Simplifying Rational Expressions
- Multiplication and Division of Rational Expressions
- Addition and Subtraction of Rational Expressions
- Complex Fractions
- Solving Rational Equations
- Applications and Word Problems c. Equations and Inequalities
- Linear Equations and Inequalities
- Solving Linear Equations
- Solving Linear Inequalities
- Absolute Value Equations and Inequalities
- Compound Inequalities
- Linear Equations and Inequalities in Two Variables
- Quadratic Equations
- Solving by Factoring
- Completing the Square
- Quadratic Formula
- Discriminant and Nature of Roots
- Solving Quadratic Inequalities
- Polynomial Equations
- Rational Root Theorem
- Descartes' Rule of Signs
- Bounds on Real Roots
- Solving Cubic and Quartic Equations
- Fundamental Theorem of Algebra
- Exponential and Logarithmic Equations
- Properties of Exponential and Logarithmic Functions
- Solving Exponential Equations
- Solving Logarithmic Equations
- Applications and Word Problems
- Trigonometric Equations
- Basic Trigonometric Equations
- Equations Involving Trigonometric Identities
- Multiple-Angle Equations
- Parametric Equations
- Applications and Word Problems d. Functions
- Function Notation and Graphing
- Definition of a Function
- Function Notation
- Domain and Range
- Graphing Functions
- Vertical Line Test
- Transformations of Functions
- Vertical and Horizontal Shifts
- Reflections
- Stretches and Compressions
- Combining Transformations
- Applications and Modeling
- Inverse Functions
- Definition and Properties
- Finding Inverse Functions
- Graphing Inverse Functions
- One-to-One Functions
- Applications and Word Problems
- Polynomial Functions
- Quadratic Functions
- Cubic Functions
- Higher-Degree Polynomial Functions
- Graphing Polynomial Functions
- Polynomial Inequalities
- Rational Functions
- Graphing Rational Functions
- Asymptotes (Vertical, Horizontal, and Oblique)
- Holes and Points of Discontinuity
- Solving Rational Inequalities
- Applications and Word Problems
- Exponential and Logarithmic Functions
- Exponential Functions and Graphs
- Logarithmic Functions and Graphs
- Properties of Logarithms
- Exponential and Logarithmic Equations
- Applications (Growth and Decay, Compound Interest, etc.)
- Trigonometric Functions
- Radian Measure
- Unit Circle and Trigonometric Functions
- Graphs of Trigonometric Functions
- Inverse Trigonometric Functions
- Trigonometric Identities
- Applications (Harmonic Motion, Waves, etc.) e. Matrices and Determinants
- Matrix Operations
- Matrix Addition and Subtraction
- Scalar Multiplication
- Matrix Multiplication
- Transpose of a Matrix
- Matrix Powers
- Determinants
- Definition and Properties
- Cofactor Expansion
- Laplace Expansion
- Cramer's Rule
- Applications (Area, Volume, etc.)
- Inverse Matrices
- Definition and Properties
- Finding Inverse Matrices
- Gaussian Elimination
- Gauss-Jordan Elimination
- Applications (Systems of Linear Equations, Cryptography, etc.)
- Matrix Factorizations
- LU Decomposition
- QR Decomposition
- Singular Value Decomposition (SVD)
- Eigendecomposition
- Applications (Least Squares, Principal Component Analysis, etc.)
- Matrix Equations
- Linear Matrix Equations
- Sylvester Equation
- Lyapunov Equation
- Riccati Equation
- Applications (Control Theory, Signal Processing, etc.) f. Abstract Algebra
- Group Theory
- Definition and Axioms
- Examples of Groups
- Subgroups and Lagrange's Theorem
- Cosets and Quotient Groups
- Homomorphisms and Isomorphisms
- Normal Subgroups and Factor Groups
- Fundamental Theorem of Finite Abelian Groups
- Sylow Theorems
- Applications (Symmetry, Cryptography, Coding Theory, etc.)
- Ring Theory
- Definition and Axioms
- Examples of Rings
- Subrings and Ideals
- Quotient Rings
- Homomorphisms and Isomorphisms
- Prime and Maximal Ideals
- Euclidean Domains and Principal Ideal Domains
- Unique Factorization Domains
- Applications (Number Theory, Algebraic Geometry, etc.)
- Field Theory
- Definition and Axioms
- Examples of Fields
- Field Extensions
- Algebraic and Transcendental Extensions
- Splitting Fields
- Finite Fields
- Applications (Coding Theory, Cryptography, etc.)
- Galois Theory
- Fundamental Theorem of Galois Theory
- Galois Groups
- Solvability by Radicals
- Insolvability of the Quintic
- Applications (Constructible Numbers, Origami, etc.)
- Module Theory
- Definition and Axioms
- Examples of Modules
- Submodules and Quotient Modules
- Homomorphisms and Isomorphisms
- Free Modules and Projective Modules
- Injective Modules and Flat Modules
- Tensor Products
- Applications (Representation Theory, Homological Algebra, etc.)
- Representation Theory
- Group Representations
- Character Theory
- Irreducible Representations
- Schur's Lemma
- Decomposition of Representations
- Induced Representations
- Applications (Quantum Mechanics, Harmonic Analysis, etc.)
- Lie Algebras
- Definition and Axioms
- Examples of Lie Algebras
- Subalgebras and Ideals
- Homomorphisms and Isomorphisms
- Solvable and Nilpotent Lie Algebras
- Semisimple Lie Algebras and Root Systems
- Representations of Lie Algebras
- Applications (Differential Geometry, Quantum Field Theory, etc.) g. Linear Algebra
- Vector Spaces
- Definition and Axioms
- Examples of Vector Spaces
- Subspaces
- Linear Combinations and Spans
- Linear Independence and Dependence
- Bases and Dimension
- Coordinates and Change of Basis
- Linear Transformations
- Definition and Properties
- Kernel and Image
- Matrix Representations
- Composition of Linear Transformations
- Invertible Linear Transformations
- Similarity and Diagonalization
- Applications (Computer Graphics, Quantum Mechanics, etc.)
- Eigenvalues and Eigenvectors
- Definition and Properties
- Characteristic Polynomial
- Eigenspaces and Geometric Multiplicity
- Diagonalization and Spectral Theorem
- Cayley-Hamilton Theorem
- Applications (Dynamical Systems, Markov Chains, etc.)
- Inner Product Spaces
- Definition and Axioms
- Examples of Inner Product Spaces
- Norm and Distance
- Orthogonality and Orthonormal Bases
- Gram-Schmidt Orthogonalization
- Orthogonal Complements and Projections
- Applications (Quantum Mechanics, Signal Processing, etc.)
- Singular Value Decomposition (SVD)
- Definition and Properties
- Existence and Uniqueness
- Compact SVD
- Truncated SVD
- Applications (Data Compression, Recommender Systems, etc.)
- Tensor Algebra
- Definition and Properties
- Tensor Products
- Symmetric and Antisymmetric Tensors
- Tensor Fields
- Covariant and Contravariant Tensors
- Applications (Continuum Mechanics, General Relativity, etc.) h. Boolean Algebra
- Logical Operations
- Conjunction (AND)
- Disjunction (OR)
- Negation (NOT)
- Implication and Equivalence
- Exclusive OR (XOR)
- Truth Tables
- Construction and Interpretation
- Tautologies and Contradictions
- Logical Equivalence
- Functional Completeness
- Canonical Forms
- Minterms and Maxterms
- Sum-of-Products (SOP) Form
- Product-of-Sums (POS) Form
- Conversion between Forms
- Minimization of Boolean Functions
- Karnaugh Maps
- Quine-McCluskey Algorithm
- Espresso Algorithm
- applications (Circuit Design, Switching Theory, etc.)
- Boolean Algebra and Set Theory
- Isomorphism between Boolean Algebras and Sets
- Venn Diagrams
- De Morgan's Laws
- Power Set and Cartesian Product
- Applications in Computer Science
- Digital Logic Design
- Switching Circuits
- Finite State Machines
- Coding Theory and Error Correction
- Variables and Expressions
-
Geometry a. Euclidean Geometry
- Points, Lines, and Planes
- Definitions and Axioms
- Incidence and Betweenness
- Segments and Rays
- Halfplanes and Angles
- Vertical Angles and Linear Pairs
- Triangles
- Classification of Triangles
- Congruence and Similarity
- Triangle Inequality
- Medians, Altitudes, and Angle Bisectors
- Pythagorean Theorem and Its Converse
- Special Triangles (Isosceles, Equilateral, 30-60-90, 45-45-90)
- Polygons
- Definition and Properties
- Classification of Polygons
- Diagonals and Convexity
- Interior and Exterior Angles
- Regular Polygons and Their Properties
- Area Formulas for Polygons
- Circles
- Definition and Properties
- Central Angles and Inscribed Angles
- Chords, Secants, and Tangents
- Inscribed and Circumscribed Polygons
- Arc Length and Sector Area
- Equation of a Circle
- Solid Geometry
- Lines and Planes in Space
- Dihedral and Polyhedral Angles
- Polyhedra (Prisms, Pyramids, Platonic Solids)
- Cylinders, Cones, and Spheres
- Surface Area and Volume Formulas
- Constructions and Loci
- Basic Constructions with Straightedge and Compass
- Constructible Numbers and Lengths
- Geometric Loci and Their Equations
- Applications (Linkages, Origami, etc.) b. Analytic Geometry
- Coordinate Systems
- Cartesian Coordinate System
- Polar Coordinate System
- Cylindrical and Spherical Coordinate Systems
- Conversion between Coordinate Systems
- Distance and Midpoint Formulas
- Distance between Two Points
- Midpoint of a Line Segment
- Distance from a Point to a Line
- Perpendicular Distance between Lines
- Equations of Lines and Planes
- Slope-Intercept Form
- Point-Slope Form
- General Form
- Parametric Equations
- Vector Equations
- Angles between Lines and Planes
- Distances between Points, Lines, and Planes
- Conic Sections
- Circle
- Parabola
- Ellipse
- Hyperbola
- Eccentricity and Focal Properties
- Tangents and Normals
- Quadric Surfaces
- Ellipsoid
- Hyperboloid of One and Two Sheets
- Paraboloid (Elliptic and Hyperbolic)
- Cone and Cylinder
- Canonical Forms and Classification
- Coordinate Transformations
- Translation
- Rotation
- Reflection
- Scaling
- Shear
- Composite Transformations
- Applications (Computer Graphics, Robotics, etc.) c. Non-Euclidean Geometries
- Hyperbolic Geometry
- Hilbert's Axioms and Saccheri Quadrilaterals
- Models of Hyperbolic Geometry (Poincaré Disk, Upper Half-Plane)
- Hyperbolic Lines and Angles
- Hyperbolic Trigonometry
- Hyperbolic Area and Gauss-Bonnet Theorem
- Applications (Special Relativity, Complex Analysis, etc.)
- Elliptic Geometry
- Spherical Geometry
- Great Circles and Geodesics
- Spherical Trigonometry
- Spherical Excess and Area Formula
- Antipodal Points and Identification
- Applications (Navigation, Astronomy, etc.)
- Projective Geometry
- Projective Plane and Projective Space
- Homogeneous Coordinates
- Duality and Principle of Duality
- Cross-Ratio and Harmonic Conjugates
- Desargues' Theorem and Pappus' Theorem
- Projective Transformations
- Applications (Perspective Drawing, Camera Models, etc.) d. Trigonometry
- Trigonometric Ratios
- Sine, Cosine, and Tangent
- Reciprocal Ratios (Cosecant, Secant, Cotangent)
- Trigonometric Functions of Special Angles
- Reference Angles and Angle Measure
- Trigonometric Identities
- Fundamental Identities
- Cofunction Identities
- Even-Odd Identities
- Sum and Difference Formulas
- Double-Angle and Half-Angle Formulas
- Power-Reduction Formulas
- Product-to-Sum and Sum-to-Product Formulas
- Inverse Trigonometric Functions
- Definitions and Domains
- Graphing Inverse Trigonometric Functions
- Identities Involving Inverse Trigonometric Functions
- Solving Equations with Inverse Trigonometric Functions
- Applications of Trigonometry
- Right Triangle Problems
- Oblique Triangle Problems (Law of Sines, Law of Cosines)
- Harmonic Motion and Waves
- Navigation and Surveying
- Optics and Acoustics e. Differential Geometry
- Curves in the Plane and Space
- Parametric Curves
- Arc Length and Reparameterization
- Curvature and Torsion
- Frenet-Serret Formulas
- Osculating Circle and Osculating Plane
- Surfaces
- Parametric Surfaces
- Tangent Plane and Normal Vector
- First and Second Fundamental Forms
- Principal Curvatures and Gaussian Curvature
- Minimal Surfaces
- Geodesics and Geodesic Curvature
- Riemannian Geometry
- Riemannian Metric and Riemannian Manifolds
- Christoffel Symbols and Levi-Civita Connection
- Parallel Transport and Geodesic Equation
- Riemann Curvature Tensor
- Ricci Curvature and Scalar Curvature
- Einstein Field Equations and General Relativity
- Symplectic Geometry
- Symplectic Manifolds and Symplectic Forms
- Hamiltonian Mechanics
- Lagrangian Submanifolds
- Moment Maps and Symplectic Reduction
- Poisson Structures and Integrable Systems
- Applications (Classical Mechanics, Quantum Mechanics, etc.) f. Algebraic Geometry
- Affine Varieties
- Algebraic Sets and Zariski Topology
- Hilbert's Nullstellensatz
- Regular Functions and Coordinate Rings
- Morphisms of Affine Varieties
- Dimension and Tangent Spaces
- Projective Varieties
- Projective Space and Homogeneous Coordinates
- Projective Closure and Projective Varieties
- Veronese Embedding and Segre Embedding
- Grassmannians and Flag Varieties
- Blow-ups and Resolutions
- Schemes
- Affine Schemes and Spec Construction
- Morphisms of Schemes
- Fiber Products and Base Change
- Separated and Proper Morphisms
- Sheaves and Cohomology
- Etale and Smooth Morphisms
- Intersection Theory
- Divisors and Line Bundles
- Intersection Multiplicity
- Bezout's Theorem
- Riemann-Roch Theorem for Curves
- Hirzebruch-Riemann-Roch Theorem
- Chern Classes and Todd Classes
- Elliptic Curves and Abelian Varieties
- Weierstrass Equations and Group Law
- Torsion Points and Mordell-Weil Theorem
- Isogenies and Endomorphism Rings
- Jacobians and Abel-Jacobi Map
- Modular Forms and Modular Curves
- Applications (Cryptography, Number Theory, etc.) g. Topology
- Topological Spaces
- Open and Closed Sets
- Basis and Subbasis
- Closure, Interior, and Boundary
- Limit Points and Isolated Points
- Hausdorff and Normal Spaces
- Continuity and Homeomorphisms
- Continuous Functions
- Homeomorphisms and Topological Invariants
- Topological Properties (Connectedness, Compactness, etc.)
- Separation Axioms (T0, T1, T2, etc.)
- Urysohn's Lemma and Tietze Extension Theorem
- Fundamental Group and Covering Spaces
- Homotopy and Homotopy Equivalence
- Fundamental Group and Homomorphisms
- Covering Spaces and Lifting Properties
- Universal Covering Space
- Applications (Knot Theory, 3-Manifolds, etc.)
- Homology and Cohomology
- Simplicial and Singular Homology
- Homology Groups and Betti Numbers
- Euler Characteristic
- Cohomology Groups and Cup Product
- Poincaré Duality and Lefschetz Duality
- de Rham Cohomology and Hodge Theory
- Algebraic Topology
- Fundamental Group and Higher Homotopy Groups
- Fibrations and Homotopy Fiber
- Spectral Sequences and Serre Spectral Sequence
- Eilenberg-MacLane Spaces and Cohomology Operations
- Characteristic Classes (Stiefel-Whitney, Chern, Pontryagin)
- K-Theory and Index Theorems
- Low-Dimensional Topology
- Surfaces and Classification Theorem
- Seifert Surfaces and Knots
- Knot Invariants (Linking Number, Alexander Polynomial, etc.)
- 3-Manifolds and Heegaard Splittings
- Dehn Surgery and Lickorish-Wallace Theorem
- Geometrization Theorem and Thurston's Work
- Points, Lines, and Planes
-
Calculus and Analysis a. Limits and Continuity
- Limit of a Function
- Definition and Intuitive Understanding
- One-Sided Limits
- Infinite Limits and Limits at Infinity
- Limit Laws and Computation Techniques
- Squeeze Theorem and Indeterminate Forms
- Continuity
- Definition and Types of Discontinuities
- Properties of Continuous Functions
- Intermediate Value Theorem
- Extreme Value Theorem
- Uniform Continuity
- Sequences and Series
- Convergence of Sequences
- Monotone Sequences and Bounded Sequences
- Cauchy Sequences and Completeness
- Convergence of Series (Geometric, p-series, etc.)
- Convergence Tests (Ratio, Root, Integral, etc.)
- Absolute and Conditional Convergence b. Derivatives and Differentiation
- Definition of the Derivative
- Tangent Lines and Rates of Change
- Definition as a Limit
- One-Sided Derivatives
- Higher-Order Derivatives
- Notation (Leibniz, Lagrange, Newton)
- Differentiation Rules
- Constant Rule and Power Rule
- Product Rule and Quotient Rule
- Chain Rule
- Implicit Differentiation
- Logarithmic Differentiation
- Derivatives of Inverse Functions
- Applications of Derivatives
- Related Rates
- Linear Approximation and Differentials
- Newton's Method
- L'Hôpital's Rule and Indeterminate Forms
- Optimization Problems
- Monotonicity and Concavity
- Curve Sketching c. Integrals and Integration
- Indefinite Integrals
- Antiderivatives and Integration Constants
- Basic Integration Rules (Power Rule, Constant Multiple Rule, etc.)
- Integration by Substitution (u-Substitution)
- Integration by Parts
- Trigonometric Integrals
- Integration of Rational Functions (Partial Fractions)
- Definite Integrals
- Riemann Sums and Definition of the Definite Integral
- Properties of Definite Integrals
- Fundamental Theorem of Calculus
- Techniques for Evaluating Definite Integrals
- Improper Integrals (Unbounded Intervals, Unbounded Functions)
- Applications of Integration
- Area between Curves
- Volumes of Solids (Slicing, Shells, Disks/Washers)
- Arc Length and Surface Area
- Work, Hydrostatic Pressure, and Centroids
- Probability Density Functions and Cumulative Distribution Functions d. Sequences and Series
- Sequences
- Definition and Notation
- Limit of a Sequence
- Bounded, Monotone, and Cauchy Sequences
- Convergence Theorems
- Subsequences and Bolzano-Weierstrass Theorem
- Series
- Definition and Notation
- Convergence and Divergence of Series
- Geometric Series and p-Series
- Convergence Tests (Ratio, Root, Integral, Comparison, etc.)
- Absolute and Conditional Convergence
- Rearrangements of Series
- Power Series
- Definition and Radius of Convergence
- Differentiation and Integration of Power Series
- Taylor Series and Maclaurin Series
- Binomial Series
- Applications (Approximation, Solving Differential Equations, etc.) e. Multivariable Calculus
- Functions of Several Variables
- Graphs and Level Curves/Surfaces
- Limits and Continuity
- Partial Derivatives
- Tangent Planes and Linear Approximation
- Directional Derivatives and Gradients
- Higher-Order Partial Derivatives
- Multiple Integrals
- Double Integrals and Iterated Integrals
- Change of Variables and Jacobians
- Triple Integrals and Applications (Volume, Mass, Moments, etc.)
- Fubini's Theorem
- Improper Multiple Integrals
- Vector Calculus
- Parametric Curves and Arc Length
- Vector Fields and Line Integrals
- Conservative Vector Fields and Independence of Path
- Green's Theorem
- Surface Integrals and Flux
- Divergence Theorem (Gauss' Theorem)
- Stokes' Theorem f. Differential Equations
- First-Order Differential Equations
- Separable Equations
- Linear Equations
- Exact Equations and Integrating Factors
- Bernoulli Equations
- Homogeneous Equations
- Applications (Population Growth, Cooling/Heating, Circuits, etc.)
- Second-Order Linear Differential Equations
- Homogeneous Equations with Constant Coefficients
- Nonhomogeneous Equations (Method of Undetermined Coefficients, Variation of Parameters)
- Cauchy-Euler Equations
- Power Series Solutions
- Applications (Harmonic Oscillators, RLC Circuits, Beams, etc.)
- Laplace Transforms
- Definition and Properties
- Inverse Laplace Transforms
- Solving Initial Value Problems
- Convolutions and Integral Equations
- Discontinuous and Periodic Functions
- Applications (Control Theory, Signal Processing, etc.)
- Systems of Differential Equations
- Linear Systems and Matrices
- Eigenvalues and Eigenvectors
- Phase Portraits and Stability
- Nonlinear Systems and Linearization
- Applications (Predator-Prey Models, Chemical Reactions, etc.)
- Partial Differential Equations
- Classification (Elliptic, Parabolic, Hyperbolic)
- Separation of Variables
- Fourier Series and Sturm-Liouville Problems
- Heat Equation
- Wave Equation
- Laplace's Equation and Harmonic Functions
- Applications (Diffusion, Vibrations, Electrostatics, etc.) g. Real Analysis
- The Real Number System
- Axioms and Properties
- Completeness and Dedekind Cuts
- Supremum and Infimum
- Archimedean Property
- Density of Rationals and Irrationals
- Sequences and Series
- Convergence and Divergence
- Cauchy Sequences and Completeness
- Monotone Convergence Theorem
- Bolzano-Weierstrass Theorem
- Limsup and Liminf
- Double Sequences and Iterated Limits
- Continuity and Uniform Continuity
- Continuity and Properties
- Intermediate Value Theorem
- Extreme Value Theorem
- Uniform Continuity and Heine-Cantor Theorem
- Lipschitz Continuity
- Continuous Functions on Compact Sets
- Differentiation
- Definition and Properties
- Mean Value Theorems (Rolle's, Lagrange, Cauchy)
- L'Hôpital's Rule
- Taylor's Theorem and Taylor Series
- Implicit and Inverse Function Theorems
- Differentiability and Continuity
- Riemann Integration
- Partitions and Riemann Sums
- Riemann Integrability
- Properties of Riemann Integrals
- Fundamental Theorem of Calculus
- Improper Integrals
- Lebesgue's Criterion for Riemann Integrability
- Sequences and Series of Functions
- Pointwise and Uniform Convergence
- Uniform Convergence and Continuity
- Uniform Convergence and Integration
- Uniform Convergence and Differentiation
- Power Series and Radius of Convergence
- Metric Spaces
- Definition and Examples
- Open and Closed Sets
- Convergence and Completeness
- Continuity and Homeomorphisms
- Compact Sets and Heine-Borel Theorem
- Connected Sets and Continuous Functions h. Complex Analysis
- Complex Numbers and Functions
- Algebraic and Geometric Representations
- Polar Form and Euler's Formula
- Powers and Roots
- Complex Functions and Mappings
- Limits and Continuity
- Analytic Functions
- Differentiability and Cauchy-Riemann Equations
- Harmonic Functions
- Exponential, Trigonometric, and Logarithmic Functions
- Complex Integration and Contour Integrals
- Cauchy's Integral Theorem and Formula
- Liouville's Theorem and Fundamental Theorem of Algebra
- Series Representations
- Taylor Series and Maclaurin Series
- Laurent Series
- Zeros and Poles
- Residue Theorem and Residue Calculus
- Evaluation of Real Integrals
- Conformal Mappings
- Definition and Properties
- Möbius Transformations
- Schwarz-Christoffel Mappings
- Riemann Mapping Theorem
- Applications (Fluid Dynamics, Electrostatics, etc.)
- Harmonic Functions
- Definition and Properties
- Poisson Integral Formula
- Dirichlet Problem
- Maximum Principle
- Harnack's Inequality
- Applications (Potential Theory, Heat Conduction, etc.) i. Functional Analysis
- Normed Vector Spaces
- Definition and Examples
- Banach Spaces and Completeness
- Equivalent Norms
- Finite-Dimensional Normed Spaces
- Compactness and Finite Dimension
- Inner Product Spaces
- Definition and Examples
- Hilbert Spaces and Completeness
- Orthonormal Bases and Parseval's Identity
- Orthogonal Complements and Projections
- Riesz Representation Theorem
- Adjoint Operators and Self-Adjoint Operators
- Linear Operators
- Bounded and Unbounded Operators
- Operator Norms and Continuity
- Compact Operators
- Spectrum and Resolvent
- Fredholm Alternative
- Spectral Theorem for Compact Self-Adjoint Operators
- Banach Algebras
- Definition and Examples
- Spectrum and Spectral Radius
- Holomorphic Functional Calculus
- Gelfand Transform
- C*-Algebras and von Neumann Algebras
- Topological Vector Spaces
- Definition and Examples
- Locally Convex Spaces
- Weak Topologies
- Hahn-Banach Theorem and Separating Hyperplanes
- Krein-Milman Theorem
- Banach-Alaoglu Theorem j. Measure Theory
- Measurable Spaces and Functions
- Sigma-Algebras and Measurable Sets
- Generated Sigma-Algebras and Borel Sets
- Measurable Functions
- Simple Functions and Approximation
- Littlewood's Three Principles
- Measures and Integrals
- Definition and Properties of Measures
- Lebesgue Measure and Lebesgue Integral
- Monotone Convergence Theorem
- Fatou's Lemma and Dominated Convergence Theorem
- Fubini's Theorem and Tonelli's Theorem
- Absolute Continuity and Radon-Nikodym Theorem
- Lp Spaces
- Definition and Examples
- Hölder's Inequality and Minkowski's Inequality
- Completeness and Banach Space Structure
- Dual Spaces and Riesz Representation Theorem
- Hilbert Spaces and Riesz-Fischer Theorem
- Signed Measures and Complex Measures
- Hahn Decomposition Theorem
- Jordan Decomposition Theorem
- Total Variation and Absolute Continuity
- Lebesgue Decomposition Theorem
- Radon-Nikodym Derivatives
- Differentiation and Integration
- Functions of Bounded Variation
- Absolutely Continuous Functions
- Fundamental Theorem of Calculus for Lebesgue Integrals
- Lebesgue Differentiation Theorem
- Vitali Covering Lemma
- Applications (Probability Theory, Fourier Analysis, etc.)
- Limit of a Function
-
Probability and Statistics a. Probability Theory
- Probability Axioms
- Sample Spaces and Events
- Axioms of Probability
- Probabiloity of Complements and Unions
- Inclusion-Exclusion Principle
- Continuity of Probability Measures
- Conditional Probability and Independence
- Definition of Conditional Probability
- Multiplication Rule and Total Probability
- Bayes' Theorem
- Independent Events
- Conditional Independence
- Applications (Medical Testing, Legal Cases, etc.)
- Random Variables
- Discrete and Continuous Random Variables
- Cumulative Distribution Functions
- Probability Mass Functions and Probability Density Functions
- Joint, Marginal, and Conditional Distributions
- Functions of Random Variables
- Transformations of Random Variables
- Expectation and Variance
- Definition and Properties of Expectation
- Linearity of Expectation
- Variance and Standard Deviation
- Covariance and Correlation
- Conditional Expectation
- Moment Generating Functions and Characteristic Functions
- Limit Theorems
- Markov's Inequality and Chebyshev's Inequality
- Weak Law of Large Numbers
- Strong Law of Large Numbers
- Central Limit Theorem
- Applications (Polling, Quality Control, etc.) b. Combinatorics
- Counting Principles
- Multiplication Principle
- Addition Principle
- Pigeonhole Principle
- Inclusion-Exclusion Principle
- Binomial Coefficients and Pascal's Triangle
- Permutations and Combinations
- Definition and Notation
- Permutations with and without Repetition
- Combinations with and without Repetition
- Binomial Theorem and Combinatorial Proofs
- Catalan Numbers and Stirling Numbers
- Generating Functions
- Ordinary Generating Functions
- Exponential Generating Functions
- Solving Recurrence Relations
- Partition Functions
- Polya's Enumeration Theorem
- Graph Theory and Enumeration
- Paths and Cycles
- Trees and Spanning Trees
- Matchings and Perfect Matchings
- Coloring Problems
- Ramsey Theory and Extremal Graph Theory c. Discrete Probability Distributions
- Bernoulli and Binomial Distributions
- Bernoulli Trials and Success Probabilities
- Probability Mass Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Normal Approximation to Binomial
- Applications (Coin Flips, Defective Items, etc.)
- Geometric and Negative Binomial Distributions
- Probability Mass Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Memoryless Property and Waiting Times
- Applications (Runs of Success, Quality Control, etc.)
- Hypergeometric Distribution
- Probability Mass Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Relationship to Binomial Distribution
- Applications (Card Games, Sampling without Replacement, etc.)
- Poisson Distribution
- Probability Mass Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Relationship to Binomial Distribution
- Applications (Rare Events, Traffic Flow, etc.) d. Continuous Probability Distributions
- Uniform Distribution
- Probability Density Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Applications (Random Number Generation, Buffon's Needle, etc.)
- Normal Distribution
- Probability Density Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Standard Normal Distribution and Z-scores
- Central Limit Theorem and Normal Approximation
- Applications (IQ Scores, Measurement Errors, etc.)
- Exponential Distribution
- Probability Density Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Memoryless Property and Waiting Times
- Applications (Radioactive Decay, Queuing Theory, etc.)
- Gamma and Beta Distributions
- Probability Density Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Relationship to Other Distributions
- Applications (Waiting Times, Bayesian Inference, etc.)
- Chi-Square, t, and F Distributions
- Probability Density Function and Cumulative Distribution Function
- Mean, Variance, and Moment Generating Function
- Relationship to Normal Distribution
- Applications (Hypothesis Testing, Confidence Intervals, ANOVA, etc.) e. Statistical Inference
- Point Estimation
- Estimators and Their Properties (Unbiasedness, Consistency, Efficiency)
- Method of Moments Estimation
- Maximum Likelihood Estimation
- Bayesian Estimation
- Sufficient Statistic and Rao-Blackwell Theorem
- Interval Estimation
- Confidence Intervals
- Pivotal Quantities and Confidence Intervals
- Large-Sample Confidence Intervals
- Bayesian Credible Intervals
- Applications (Opinion Polls, Quality Control, etc.)
- Hypothesis Testing
- Null and Alternative Hypotheses
- Type I and Type II Errors
- Test Statistics and p-Values
- Power of a Test and Sample Size Determination
- Neyman-Pearson Lemma and Likelihood Ratio Tests
- Applications (Clinical Trials, A/B Testing, etc.)
- Nonparametric Methods
- Sign Test and Wilcoxon Signed-Rank Test
- Mann-Whitney U Test
- Kruskal-Wallis Test
- Spearman's Rank Correlation Coefficient
- Kolmogorov-Smirnov Test
- Bootstrap and Permutation Tests f. Regression Analysis
- Simple Linear Regression
- Least Squares Estimation
- Correlation Coefficient and Coefficient of Determination
- Hypothesis Tests and Confidence Intervals for Regression Parameters
- Prediction and Prediction Intervals
- Assumptions and Diagnostics (Residual Plots, QQ Plots, etc.)
- Multiple Linear Regression
- Matrix Notation and Estimation
- Partial Correlation and Adjusted R-Squared
- Multicollinearity and Variable Selection
- Dummy Variables and Categorical Predictors
- Interactions and Polynomial Regression
- Nonlinear Regression
- Transformations and Linearization
- Nonlinear Least Squares Estimation
- Gauss-Newton and Levenberg-Marquardt Algorithms
- Model Selection and Akaike Information Criterion (AIC)
- Applications (Growth Curves, Dose-Response Models, etc.)
- Logistic Regression
- Odds Ratios and Logit Transformation
- Maximum Likelihood Estimation
- Interpretation of Coefficients
- Receiver Operating Characteristic (ROC) Curves
- Applications (Medical Diagnosis, Credit Scoring, etc.)
- Time Series Analysis
- Stationarity and Autocorrelation
- Autoregressive (AR) Models
- Moving Average (MA) Models
- Autoregressive Moving Average (ARMA) Models
- Autoregressive Integrated Moving Average (ARIMA) Models
- Forecasting and Model Selection g. Bayesian Statistics
- Bayes' Theorem
- Prior and Posterior Probabilities
- Likelihood Functions
- Marginal Likelihood and Model Evidence
- Bayesian Updating and Sequential Learning
- Prior and Posterior Distributions
- Conjugate Priors and Exponential Families
- Noninformative Priors
- Posterior Summaries (Mean, Median, Credible Intervals)
- Posterior Predictive Distribution
- Bayesian Hypothesis Testing and Bayes Factors
- Bayesian Inference
- Bayesian Point Estimation
- Bayesian Interval Estimation
- Bayesian Hypothesis Testing
- Bayesian Model Selection and Bayesian Information Criterion (BIC)
- Empirical Bayes Methods
- Markov Chain Monte Carlo (MCMC) Methods
- Metropolis-Hastings Algorithm
- Gibbs Sampling
- Convergence Diagnostics and Effective Sample Size
- Hamiltonian Monte Carlo and No-U-Turn Sampler
- Variational Inference and Mean Field Approximation
- Bayesian Networks
- Directed Acyclic Graphs and Conditional Independence
- Inference in Bayesian Networks
- Parameter Learning and Structure Learning
- Hidden Markov Models and Dynamic Bayesian Networks
- Applications (Medical Diagnosis, Spam Filtering, etc.) h. Stochastic Processes
- Markov Chains
- State Space and Transition Probabilities
- Chapman-Kolmogorov Equations
- Stationary Distribution and Limiting Behavior
- Ergodicity and Mixing Times
- Absorption Probabilities and First Passage Times
- Applications (PageRank, Gambler's Ruin, etc.)
- Poisson Processes
- Counting Processes and Arrival Times
- Homogeneous and Nonhomogeneous Poisson Processes
- Superposition and Thinning of Poisson Processes
- Conditional Poisson Processes and Cox Processes
- Applications (Queuing Theory, Reliability, etc.)
- Brownian Motion
- Definition and Properties
- Wiener Process and Diffusion Processes
- Stochastic Integrals and Ito's Lemma
- Stochastic Differential Equations
- Geometric Brownian Motion and Black-Scholes Model
- Applications (Financial Mathematics, Physics, etc.)
- Martingales
- Definition and Examples
- Martingale Transforms and Martingale Inequalities
- Optional Stopping Theorem
- Martingale Convergence Theorems
- Martingale Representation Theorem
- Applications (Gambling, Optimal Stopping, etc.)
- Stochastic Calculus
- Stochastic Integrals and Ito's Lemma
- Stochastic Differential Equations
- Feynman-Kac Formula and Kolmogorov Equations
- Girsanov's Theorem and Change of Measure
- Applications (Mathematical Finance, Filtering Theory, etc.)
- Probability Axioms
-
Discrete Mathematics a. Graph Theory
- Graphs and Digraphs
- Definition and Terminology
- Adjacency and Incidence Matrices
- Subgraphs and Graph Isomorphism
- Degree Sequences and Handshaking Lemma
- Bipartite Graphs and Complete Graphs
- Connectivity
- Paths and Cycles
- Connected Components and Strongly Connected Components
- Bridges and Articulation Points
- Menger's Theorem and Disjoint Paths
- Graph Reconstruction and Whitney's Theorem
- Trees and Spanning Trees
- Definition and Properties
- Minimum Spanning Trees (Kruskal's and Prim's Algorithms)
- Cayley's Formula and Prüfer Code
- Arboricity and Nash-Williams Theorem
- Applications (Network Design, Phylogenetic Trees, etc.)
- Matchings and Coverings
- Definition and Examples
- Hall's Marriage Theorem
- König's Theorem and Edge Coloring
- Vertex Covers and Independent Sets
- Perfect Matchings and Tutte's Theorem
- Graph Coloring
- Chromatic Number and Chromatic Polynomial
- Greedy Coloring and Brooks' Theorem
- Four Color Theorem and Heawood Conjecture
- Graph Homomorphisms and Hadwiger's Conjecture
- Applications (Scheduling, Register Allocation, etc.)
- Planar Graphs
- Definition and Characterization
- Euler's Formula and Kuratowski's Theorem
- Dual Graphs and Geometric Duality
- Graph Minors and Wagner's Theorem
- Applications (Circuit Design, Facility Location, etc.) b. Enumerative Combinatorics
- Generating Functions
- Ordinary Generating Functions
- Exponential Generating Functions
- Partition Functions and Gaussian Polynomials
- Dirichlet Generating Functions
- Applications (Fibonacci Numbers, Catalan Numbers, etc.)
- Recurrence Relations
- Linear Recurrences and Characteristic Polynomials
- Solving Recurrences using Generating Functions
- Catalan Numbers and Motzkin Numbers
- q-Analogs and q-Binomial Coefficients
- Applications (Lattice Paths, Permutation Patterns, etc.)
- Polya Enumeration
- Burnside's Lemma and Cauchy-Frobenius Lemma
- Cycle Index and Pattern Inventory
- Polya's Enumeration Formula
- de Bruijn Sequences and Universal Cycles
- Applications (Chemical Isomers, Necklace Problem, etc.)
- Combinatorial Designs
- Block Designs and Incidence Matrices
- Balanced Incomplete Block Designs (BIBD)
- Steiner Systems and Finite Projective Planes
- Latin Squares and Orthogonal Arrays
- Hadamard Matrices and Combinatorial Matrix Theory
- Extremal Combinatorics
- Ramsey Numbers and Ramsey's Theorem
- Turán's Theorem and Forbidden Subgraphs
- Szemerédi's Regularity Lemma
- Erdős-Ko-Rado Theorem and Intersecting Families
- Combinatorial Nullstellensatz and Additive Combinatorics c. Number Theory
- Divisibility and Prime Numbers
- Division Algorithm and Greatest Common Divisor
- Fundamental Theorem of Arithmetic
- Distribution of Prime Numbers and Prime Number Theorem
- Primality Testing and Factorization Algorithms
- Twin Primes and Goldbach's Conjecture
- Congruences
- Modular Arithmetic and Residue Classes
- Linear Congruences and Chinese Remainder Theorem
- Fermat's Little Theorem and Euler's Theorem
- Quadratic Residues and Legendre Symbol
- Primitive Roots and Discrete Logarithms
- Diophantine Equations
- Linear Diophantine Equations and Bezout's Identity
- Pell's Equation and Continued Fractions
- Pythagorean Triples and Fermat's Last Theorem
- Elliptic Curves and Mordell's Theorem
- Diophantine Approximation and Transcendental Numbers
- Quadratic Forms and Lattices
- Binary Quadratic Forms and Discriminants
- Representation of Integers by Quadratic Forms
- Minkowski's Convex Body Theorem
- Lattice Basis Reduction and LLL Algorithm
- Cryptographic Applications and Lattice-Based Cryptography
- Algebraic Number Theory
- Number Fields and Ring of Integers
- Ideals and Unique Factorization
- Norm, Trace, and Discriminant
- Class Groups and Class Number Formula
- Cyclotomic Fields and Fermat's Last Theorem
- Zeta Functions and L-Functions d. Cryptography
- Classical Cryptography
- Substitution Ciphers and Frequency Analysis
- Transposition Ciphers and Permutations
- Vigenère Cipher and Kasiski Examination
- One-Time Pad and Perfect Secrecy
- Cryptanalysis Techniques and Ciphertext-Only Attacks
- Symmetric-Key Cryptography
- Block Ciphers and Stream Ciphers
- Data Encryption Standard (DES) and Advanced Encryption Standard (AES)
- Modes of Operation (ECB, CBC, CTR, etc.)
- Message Authentication Codes (MAC) and Hash Functions
- Key Exchange Protocols and Diffie-Hellman Protocol
- Public-Key Cryptography
- RSA Cryptosystem and Modular Exponentiation
- Elliptic Curve Cryptography (ECC)
- Digital Signatures and Public Key Infrastructure (PKI)
- Homomorphic Encryption and Fully Homomorphic Encryption
- Post-Quantum Cryptography and Lattice-Based Cryptography
- Cryptographic Protocols
- Zero-Knowledge Proofs and Interactive Proof Systems
- Oblivious Transfer and Secure Multiparty Computation
- Blind Signatures and Digital Cash
- Threshold Cryptography and Secret Sharing
- Blockchain and Cryptocurrency (Bitcoin, Ethereum, etc.)
- Cryptanalysis and Security
- Linear and Differential Cryptanalysis
- Side-Channel Attacks and Fault Attacks
- Quantum Cryptanalysis and Shor's Algorithm
- Provable Security and Random Oracle Model
- Cryptographic Hardness Assumptions and Complexity Theory e. Game Theory
- Two-Person Zero-Sum Games
- Payoff Matrices and Minimax Theorem
- Solving Games using Linear Programming
- Mixed Strategies and Nash Equilibrium
- Poker and Bluffing
- Matching Pennies and Rock-Paper-Scissors
- Non-Cooperative Games
- Normal Form and Extensive Form Games
- Dominant Strategies and Iterated Elimination
- Nash Equilibrium and Best Response Dynamics
- Cournot and Bertrand Competition
- Prisoner's Dilemma and Tragedy of the Commons
- Cooperative Games
- Coalitional Games and Characteristic Functions
- Core and Shapley Value
- Bargaining Theory and Axiomatic Bargaining Solutions
- Matching Markets and Stable Matchings
- Voting Games and Power Indices
- Evolutionary Game Theory
- Replicator Dynamics and Evolutionarily Stable Strategies
- Hawk-Dove Game and War of Attrition
- Evolutionary Stability and Convergence
- Evolutionary Graphs and Spatial Games
- Applications in Biology, Economics, and Social Sciences
- Mechanism Design
- Social Choice Theory and Arrow's Impossibility Theorem
- Vickrey-Clarke-Groves (VCG) Mechanism
- Revelation Principle and Incentive Compatibility
- Auctions and Optimal Auction Design
- Algorithmic Game Theory and Price of Anarchy f. Computational Complexity
- Time Complexity
- Big-O Notation and Asymptotic Analysis
- Polynomial-Time Algorithms and Tractability
- Exponential-Time Algorithms and Intractability
- Time Hierarchy Theorem and Deterministic Time Complexity
- Randomized Algorithms and Probabilistic Time Complexity
- Space Complexity
- Turing Machines and Space Complexity Classes
- PSPACE and NPSPACE
- Savitch's Theorem and PSPACE = NPSPACE
- Space Hierarchy Theorem and Deterministic Space Complexity
- Randomized Space Complexity and RL and BPL
- Complexity Classes
- P and NP
- co-NP and Complementation
- NP-Completeness and Cook-Levin Theorem
- EXPTIME and NEXPTIME
- Polynomial Hierarchy and PH = PSPACE
- Reducibility and Completeness
- Many-One Reducibility and Turing Reducibility
- NP-Completeness and Karp Reductions
- PSPACE-Completeness and Quantified Boolean Formulas
-
P-Completeness and Counting Problems¶
- Unconditional Lower Bounds and Relativization
- Advanced Topics
- Interactive Proofs and IP = PSPACE
- Probabilistically Checkable Proofs and PCP Theorem
- Complexity of Approximation and Hardness of Approximation
- Parameterized Complexity and Fixed-Parameter Tractability
- Quantum Complexity and BQP and QMA
- Graphs and Digraphs
-
Applied Mathematics a. Mathematical Physics
- Classical Mechanics
- Lagrangian Mechanics
- Generalized Coordinates and Lagrangian
- Euler-Lagrange Equations
- Symmetries and Conservation Laws (Noether's Theorem)
- Variational Principles and Hamilton's Principle
- Applications (Pendulum, Double Pendulum, etc.)
- Hamiltonian Mechanics
- Phase Space and Hamiltonian Function
- Hamilton's Equations
- Canonical Transformations and Generating Functions
- Poisson Brackets and Liouville's Theorem
- Applications (Harmonic Oscillator, Kepler Problem, etc.)
- Rigid Body Dynamics
- Angular Velocity and Inertia Tensor
- Euler's Equations and Euler Angles
- Precession and Nutation
- Stability and Rotating Frames
- Applications (Gyroscopes, Spacecraft Attitude Control, etc.)
- Celestial Mechanics
- Two-Body Problem and Kepler's Laws
- Orbital Elements and Orbital Perturbations
- N-Body Problem and Restricted Three-Body Problem
- Lagrange Points and Stability
- Applications (Satellite Orbits, Interplanetary Missions, etc.)
- Lagrangian Mechanics
- Quantum Mechanics
- Schrödinger Equation
- Wavefunction and Probability Interpretation
- Time-Dependent and Time-Independent Schrödinger Equations
- Stationary States and Energy Eigenvalues
- Boundary Conditions and Normalization
- Applications (Particle in a Box, Harmonic Oscillator, etc.)
- Hilbert Spaces and Operators
- Hilbert Space Formulation of Quantum Mechanics
- Linear Operators and Observables
- Hermitian Operators and Spectral Theorem
- Commutators and Uncertainty Principle
- Spectral Measures and Projection-Valued Measures
- Angular Momentum and Spin
- Orbital Angular Momentum and Spherical Harmonics
- Spin Angular Momentum and Pauli Matrices
- Addition of Angular Momentum and Clebsch-Gordan Coefficients
- Wigner-Eckart Theorem and Selection Rules
- Applications (Hydrogen Atom, Zeeman Effect, etc.)
- Perturbation Theory
- Time-Independent Perturbation Theory (Rayleigh-Schrödinger)
- Degenerate Perturbation Theory
- Time-Dependent Perturbation Theory (Dyson Series)
- Fermi's Golden Rule and Transition Rates
- Applications (Stark Effect, Fine Structure, etc.)
- Quantum Field Theory
- Second Quantization and Fock Space
- Creation and Annihilation Operators
- Canonical Commutation Relations and Anticommutation Relations
- Feynman Diagrams and Perturbative Expansion
- Renormalization and Regularization
- Applications (Quantum Electrodynamics, Standard Model, etc.)
- Schrödinger Equation
- Relativity
- Special Relativity
- Lorentz Transformations and Minkowski Spacetime
- Relativistic Kinematics and Four-Vectors
- Relativistic Dynamics and Four-Force
- Relativistic Energy and Mass-Energy Equivalence
- Applications (Particle Colliders, GPS, etc.)
- General Relativity
- Principle of Equivalence and Curved Spacetime
- Metric Tensor and Geodesics
- Einstein Field Equations
- Schwarzschild Solution and Black Holes
- Cosmological Models and Friedmann Equations
- Differential Geometry of Spacetime
- Manifolds and Coordinate Charts
- Tangent Spaces and Cotangent Spaces
- Covariant Derivative and Parallel Transport
- Curvature Tensor and Ricci Tensor
- Variational Formulation and Einstein-Hilbert Action
- Cosmology
- Hubble's Law and Expansion of the Universe
- Big Bang Theory and Cosmic Microwave Background
- Dark Matter and Dark Energy
- Inflation and Primordial Perturbations
- Large-Scale Structure and Cosmic Web
- Special Relativity
- Thermodynamics
- Laws of Thermodynamics
- Zeroth Law and Thermal Equilibrium
- First Law and Conservation of Energy
- Second Law and Entropy
- Third Law and Absolute Zero Temperature
- Applications (Heat Engines, Refrigerators, etc.)
- Statistical Mechanics
- Microstates and Macrostates
- Boltzmann Distribution and Partition Function
- Canonical Ensemble and Grand Canonical Ensemble
- Fermi-Dirac and Bose-Einstein Statistics
- Applications (Ideal Gas, Blackbody Radiation, etc.)
- Ensemble Theory
- Microcanonical Ensemble and Ergodicity
- Canonical Ensemble and Free Energy
- Grand Canonical Ensemble and Chemical Potential
- Gibbs Ensemble and Equivalence of Ensembles
- Applications (Phase Transitions, Critical Phenomena, etc.)
- Phase Transitions
- First-Order and Second-Order Phase Transitions
- Landau Theory and Order Parameters
- Critical Exponents and Universality Classes
- Renormalization Group and Fixed Points
- Applications (Ising Model, Superconductivity, etc.)
- Non-Equilibrium Thermodynamics
- Linear Response Theory and Green-Kubo Relations
- Onsager Reciprocal Relations and Fluctuation-Dissipation Theorem
- Nonlinear Dynamics and Pattern Formation
- Stochastic Thermodynamics and Fluctuation Theorems
- Applications (Transport Phenomena, Biological Systems, etc.) b. Fluid Dynamics
- Laws of Thermodynamics
- Navier-Stokes Equations
- Conservation of Mass and Continuity Equation
- Conservation of Momentum and Momentum Equation
- Conservation of Energy and Energy Equation
- Boundary Conditions and Initial Conditions
- Dimensionless Numbers (Reynolds, Mach, Prandtl, etc.)
- Inviscid Flow
- Euler Equations and Bernoulli's Principle
- Potential Flow Theory and Stream Function
- Circulation and Vorticity
- Kelvin's Circulation Theorem and Helmholtz Theorems
- Applications (Airfoil Theory, Conformal Mapping, etc.)
- Viscous Flow
- Boundary Layer Theory and Prandtl's Equations
- Laminar and Turbulent Boundary Layers
- Blasius Solution and Falkner-Skan Equation
- Separation and Stall
- Applications (Drag Reduction, Heat Transfer, etc.)
- Turbulence
- Reynolds-Averaged Navier-Stokes (RANS) Equations
- Turbulence Models (k-ε, k-ω, etc.)
- Large Eddy Simulation (LES) and Subgrid-Scale Models
- Direct Numerical Simulation (DNS) and Kolmogorov Microscales
- Applications (Atmospheric Boundary Layer, Jet Engines, etc.)
- Computational Fluid Dynamics (CFD)
- Finite Difference Methods
- Finite Volume Methods
- Finite Element Methods
- Spectral Methods
- Mesh Generation and Adaptive Mesh Refinement
- Applications (Aerodynamics, Hydrodynamics, etc.) c. Partial Differential Equations (PDEs)
- Classification of PDEs
- Linear and Nonlinear PDEs
- Elliptic, Parabolic, and Hyperbolic PDEs
- Order and Characteristics
- Well-Posed Problems and Existence of Solutions
- Separation of Variables
- Sturm-Liouville Problems and Eigenfunction Expansions
- Fourier Series and Generalized Fourier Series
- Laplace's Equation and Harmonic Functions
- Applications (Vibrating Strings, Heat Conduction, etc.)
- Fourier Transforms and Integral Transforms
- Fourier Transform and Inverse Fourier Transform
- Convolution and Parseval's Theorem
- Laplace Transform and Inverse Laplace Transform
- Applications (Signal Processing, Control Theory, etc.)
- Green's Functions
- Definition and Properties of Green's Functions
- Dirac Delta Function and Fundamental Solutions
- Boundary Value Problems and Integral Equations
- Applications (Electrostatics, Quantum Mechanics, etc.)
- Variational Methods
- Weak Formulations and Test Functions
- Galerkin Method and Ritz Method
- Finite Element Method and Basis Functions
- Applications (Structural Mechanics, Fluid Dynamics, etc.) d. Numerical Analysis
- Error Analysis
- Truncation Error and Rounding Error
- Absolute Error and Relative Error
- Stability and Conditioning
- Convergence and Order of Convergence
- Interpolation and Approximation
- Polynomial Interpolation and Lagrange Interpolation
- Spline Interpolation and Bezier Curves
- Least Squares Approximation and Orthogonal Polynomials
- Rational Approximation and Pade Approximants
- Applications (Curve Fitting, Data Compression, etc.)
- Numerical Differentiation and Integration
- Finite Difference Formulas
- Richardson Extrapolation and Romberg Integration
- Gaussian Quadrature and Orthogonal Polynomials
- Adaptive Quadrature and Singularities
- Applications (Numerical Solutions of ODEs and PDEs, etc.)
- Numerical Linear Algebra
- Gaussian Elimination and LU Decomposition
- Cholesky Decomposition and Positive Definite Matrices
- QR Decomposition and Least Squares Problems
- Singular Value Decomposition and Pseudoinverse
- Iterative Methods (Jacobi, Gauss-Seidel, Conjugate Gradient, etc.)
- Numerical Solutions of ODEs and PDEs
- Euler Methods and Runge-Kutta Methods
- Multistep Methods and Predictor-Corrector Methods
- Finite Difference Methods for PDEs
- Finite Element Methods for PDEs
- Spectral Methods and Pseudospectral Methods e. Optimization
- Linear Programming
- Formulation of Linear Programs
- Simplex Method and Tableau Form
- Duality Theory and Dual Simplex Method
- Sensitivity Analysis and Shadow Prices
- Applications (Resource Allocation, Transportation, etc.)
- Nonlinear Programming
- Unconstrained Optimization and Gradient Methods
- Constrained Optimization and Lagrange Multipliers
- Karush-Kuhn-Tucker (KKT) Conditions
- Quadratic Programming and Second-Order Conditions
- Applications (Portfolio Optimization, Control Systems, etc.)
- Convex Optimization
- Convex Sets and Convex Functions
- Jensen's Inequality and Epigraphs
- Convex Duality and Fenchel Conjugate
- Subgradients and Optimality Conditions
- Applications (Machine Learning, Signal Processing, etc.)
- Integer Programming
- Formulation of Integer Programs
- Branch-and-Bound Method
- Cutting Plane Methods
- Lagrangian Relaxation and Benders Decomposition
- Applications (Scheduling, Network Design, etc.)
- Stochastic Optimization
- Stochastic Programming and Recourse Problems
- Chance Constraints and Probabilistic Constraints
- Markov Decision Processes and Dynamic Programming
- Reinforcement Learning and Q-Learning
- Applications (Inventory Control, Financial Engineering, etc.) f. Control Theory
- Linear Systems
- State-Space Representation and Transfer Functions
- Controllability and Observability
- Stability Analysis and Routh-Hurwitz Criterion
- Pole Placement and State Feedback
- Observers and Output Feedback
- Optimal Control
- Variational Approach and Euler-Lagrange Equations
- Pontryagin's Maximum Principle
- Dynamic Programming and Hamilton-Jacobi-Bellman Equation
- Linear Quadratic Regulator (LQR) and Riccati Equation
- Applications (Robotics, Aerospace, etc.)
- Robust Control
- Uncertainty Modeling and Robustness Analysis
- H-infinity Optimal Control
- Structured Singular Value (μ) and μ-Synthesis
- Linear Matrix Inequalities (LMIs) and Convex Optimization
- Applications (Process Control, Automotive Systems, etc.)
- Nonlinear Control
- Lyapunov Stability Theory
- Feedback Linearization and Input-Output Linearization
- Sliding Mode Control and Variable Structure Systems
- Adaptive Control and Parameter Estimation
- Applications (Robotics, Power Systems, etc.)
- Discrete-Time Control
- Z-Transform and Discrete-Time Transfer Functions
- Sampled-Data Systems and Aliasing
- Discrete-Time Stability Analysis
- Digital Control Design and Implementation
- Applications (Computer Control, Digital Signal Processing, etc.) g. Mathematical Biology
- Population Dynamics
- Exponential Growth and Logistic Growth Models
- Lotka-Volterra Predator-Prey Models
- Age-Structured Models and Leslie Matrices
- Spatial Models and Reaction-Diffusion Equations
- Applications (Ecology, Conservation Biology, etc.)
- Epidemiology
- SIR and SEIR Models
- Basic Reproduction Number and Herd Immunity
- Vaccination Strategies and Disease Eradication
- Stochastic Models and Branching Processes
- Applications (Infectious Diseases, Public Health, etc.)
- Biochemical Kinetics
- Enzyme Kinetics and Michaelis-Menten Equation
- Cooperativity and Allosteric Regulation
- Metabolic Networks and Flux Balance Analysis
- Signaling Pathways and Feedback Loops
- Applications (Drug Design, Metabolic Engineering, etc.)
- Physiological Modeling
- Compartmental Models and Tracer Kinetics
- Cardiovascular Models and Windkessel Effect
- Respiratory Models and Gas Exchange
- Renal Models and Glomerular Filtration
- Applications (Personalized Medicine, Medical Devices, etc.)
- Neural Networks and Brain Modeling
- Hodgkin-Huxley Model and Action Potentials
- Integrate-and-Fire Models and Spiking Neurons
- Hebbian Learning and Synaptic Plasticity
- Hopfield Networks and Associative Memory
- Applications (Artificial Intelligence, Cognitive Science, etc.) h. Mathematical Finance
- Portfolio Theory
- Mean-Variance Analysis and Efficient Frontier
- Capital Asset Pricing Model (CAPM)
- Arbitrage Pricing Theory (APT)
- Risk Measures (Value-at-Risk, Expected Shortfall, etc.)
- Portfolio Optimization and Asset Allocation
- Options Pricing
- Binomial Option Pricing Model
- Black-Scholes-Merton Model and Partial Differential Equation
- Implied Volatility and Volatility Smile
- American Options and Early Exercise
- Exotic Options (Asian, Barrier, Lookback, etc.)
- Interest Rate Models
- Short Rate Models (Vasicek, Cox-Ingersoll-Ross, etc.)
- Heath-Jarrow-Morton (HJM) Framework
- LIBOR Market Model and Forward Measure
- Yield Curve Modeling and Calibration
- Interest Rate Derivatives (Swaps, Caps, Floors, etc.)
- Credit Risk Modeling
- Structural Models (Merton Model, KMV Model, etc.)
- Reduced-Form Models (Jarrow-Turnbull, Duffie-Singleton, etc.)
- Copula Models and Default Correlation
- Credit Default Swaps (CDS) and Collateralized Debt Obligations (CDOs)
- Counterparty Risk and Credit Valuation Adjustment (CVA)
- Numerical Methods in Finance
- Monte Carlo Simulation and Quasi-Monte Carlo Methods
- Finite Difference Methods for Option Pricing PDEs
- Binomial and Trinomial Trees
- Fourier Transform Methods and Fast Fourier Transform (FFT)
- Calibration and Parameter Estimation Techniques i. Operations Research
- Linear Programming
- Formulation of Linear Programs
- Simplex Method and Tableau Form
- Duality Theory and Dual Simplex Method
- Sensitivity Analysis and Shadow Prices
- Applications (Production Planning, Resource Allocation, etc.)
- Network Flow Problems
- Maximum Flow Problem and Ford-Fulkerson Algorithm
- Minimum Cost Flow Problem and Network Simplex Algorithm
- Transportation Problem and Assignment Problem
- Shortest Path Problem and Dijkstra's Algorithm
- Applications (Supply Chain Management, Logistics, etc.)
- Integer Programming
- Formulation of Integer Programs
- Branch-and-Bound Method
- Cutting Plane Methods
- Lagrangian Relaxation and Benders Decomposition
- Applications (Facility Location, Scheduling, etc.)
- Dynamic Programming
- Principle of Optimality and Bellman's Equation
- Deterministic Dynamic Programming
- Stochastic Dynamic Programming
- Approximate Dynamic Programming and Reinforcement Learning
- Applications (Inventory Control, Resource Allocation, etc.)
- Queuing Theory
- Birth-Death Processes and Markov Chains
- M/M/1 and M/M/c Queues
- Little's Law and Steady-State Analysis
- Priority Queues and Queueing Networks
- Applications (Call Centers, Service Systems, etc.)
- Classical Mechanics
-
Foundations of Mathematics a. Mathematical Logic
- Propositional Logic
- Syntax and Semantics
- Truth Tables and Logical Connectives
- Tautologies and Logical Equivalence
- Deduction Theorem and Completeness Theorem
- Applications (Circuit Design, Automated Reasoning, etc.)
- First-Order Logic
- Syntax and Semantics
- Quantifiers and Variables
- Models and Interpretations
- Soundness and Completeness Theorems
- Applications (Automated Theorem Proving, Formal Verification, etc.)
- Higher-Order Logic
- Syntax and Semantics
- Lambda Calculus and Type Theory
- Intuitionistic Logic and Constructive Mathematics
- Applications (Functional Programming, Proof Assistants, etc.)
- Model Theory
- Structures and Homomorphisms
- Elementary Equivalence and Isomorphism
- Compactness Theorem and Löwenheim-Skolem Theorems
- Ultraproducts and Ultrapowers
- Applications (Algebra, Geometry, etc.)
- Recursion Theory
- Recursive Functions and Turing Machines
- Church-Turing Thesis and Undecidability
- Recursively Enumerable Sets and Degrees of Unsolvability
- Rice's Theorem and Post's Problem
- Applications (Computability, Complexity Theory, etc.) b. Set Theory
- Naive Set Theory and Paradoxes
- Russell's Paradox and Cantor's Paradox
- Burali-Forti Paradox and Richard's Paradox
- Limitations of Naive Set Theory
- Axiomatic Set Theory
- Zermelo-Fraenkel Set Theory (ZF)
- Axiom of Choice and Zorn's Lemma
- Continuum Hypothesis and Independence Results
- Von Neumann-Bernays-Gödel Set Theory (NBG)
- Morse-Kelley Set Theory (MK)
- Ordinal and Cardinal Numbers
- Well-Ordered Sets and Ordinal Numbers
- Transfinite Induction and Recursion
- Cardinal Numbers and Cardinal Arithmetic
- Continuum Hypothesis and Generalized Continuum Hypothesis
- Large Cardinals and Inaccessible Cardinals
- Constructive Set Theory
- Intuitionistic Set Theory
- Constructive Ordinals and Constructive Reals
- Realizability and Topos Theory
- Applications (Constructive Analysis, Computer Science, etc.) c. Category Theory
- Categories and Functors
- Definition and Examples of Categories
- Morphisms and Composition
- Functors and Natural Transformations
- Duality and Opposite Categories
- Applications (Algebra, Topology, etc.)
- Universal Properties and Limits
- Initial and Terminal Objects
- Products and Coproducts
- Equalizers and Coequalizers
- Pullbacks and Pushouts
- Adjoint Functors and Kan Extensions
- Monoidal Categories and Enriched Categories
- Monoidal Categories and Braided Monoidal Categories
- Symmetric Monoidal Categories and Coherence Theorems
- Enriched Categories and Enriched Functors
- Applications (Quantum Groups, Higher Category Theory, etc.)
- Topos Theory
- Definition and Examples of Topoi
- Subobject Classifiers and Characteristic Morphisms
- Internal Logic and Mitchell-Bénabou Language
- Sheaf Theory and Grothendieck Topologies
- Applications (Algebraic Geometry, Mathematical Physics, etc.) d. Proof Theory
- Natural Deduction and Sequent Calculus
- Introduction and Elimination Rules
- Structural Rules and Cut Elimination
- Normalization and Strong Normalization
- Applications (Automated Theorem Proving, Type Theory, etc.)
- Hilbert-Style Systems and Gentzen Systems
- Axioms and Inference Rules
- Deduction Theorem and Herbrand's Theorem
- Cut Elimination and Consistency Proofs
- Applications (Metamathematics, Proof Complexity, etc.)
- Ordinal Analysis and Proof-Theoretic Ordinals
- Well-Orderings and Ordinal Notations
- Gentzen's Consistency Proof
- Ordinal Analysis of Arithmetic and Analysis
- Impredicativity and Predicative Subsystems
- Applications (Reverse Mathematics, Proof Mining, etc.)
- Algebraic and Categorical Proof Theory
- Proof Nets and Geometry of Interaction
- Linear Logic and Game Semantics
- Categorical Semantics and Coherence Theorems
- Applications (Programming Language Theory, Concurrency, etc.) e. Computability Theory
- Computable Functions and Recursive Functions
- Primitive Recursive Functions and Ackermann Function
- Partial Recursive Functions and Universal Functions
- Church-Turing Thesis and Lambda Calculus
- Applications (Theoretical Computer Science, Logic Programming, etc.)
- Turing Machines and Undecidability
- Definition and Examples of Turing Machines
- Universal Turing Machines and Halting Problem
- Reductions and Rice's Theorem
- Recursively Enumerable Sets and Complement
- Applications (Computability, Complexity Theory, etc.)
- Degrees of Unsolvability
- Turing Degrees and Turing Reducibility
- Arithmetical Hierarchy and Post's Theorem
- Hyperarithmetical Sets and Analytical Hierarchy
- Turing Jumps and Relativization
- Applications (Reverse Mathematics, Descriptive Set Theory, etc.)
- Computability in Other Structures
- Computable Analysis and Computable Real Functions
- Computable Algebra and Computable Field Theory
- Computable Model Theory and Computable Categoricity
- Computability in Topological Spaces and Metric Spaces
- Applications (Effective Mathematics, Constructive Analysis, etc.) f. Philosophy of Mathematics
- Platonism and Realism
- Mathematical Objects as Abstract Entities
- Existence and Independence of Mathematical Truths
- Ontological and Epistemological Issues
- Objections and Alternatives (Nominalism, Fictionalism, etc.)
- Intuitionism and Constructivism
- Brouwer's Intuitionism and Choice Sequences
- Bishop's Constructive Mathematics
- Realizability and Topos Theory
- Implications for Classical Mathematics
- Applications (Constructive Analysis, Computer Science, etc.)
- Formalism and Hilbert's Program
- Mathematics as Formal Systems
- Consistency and Completeness of Axiomatic Theories
- Gödel's Incompleteness Theorems and Hilbert's Program
- Implications for Foundations of Mathematics
- Applications (Proof Theory, Metamathematics, etc.)
- Logicism and Neo-Logicism
- Frege's Logicism and Russell's Paradox
- Whitehead and Russell's Principia Mathematica
- Neo-Logicism and Hume's Principle
- Abstractionism and Contextual Definitions
- Applications (Philosophy of Language, Cognitive Science, etc.)
- Structuralism and Category Theory
- Mathematical Structures and Structural Properties
- Ante Rem and In Re Structuralism
- Category Theory as a Foundation for Mathematics
- Structural Approaches to Mathematical Practice
- Applications (Mathematical Modeling, Scientific Representation, etc.)
- Propositional Logic
-
History of Mathematics a. Ancient Mathematics
- Egyptian Mathematics
- Numeration Systems and Arithmetic Operations
- Geometry and Surveying Techniques
- Rhind Papyrus and Moscow Papyrus
- Applications in Architecture and Astronomy
- Babylonian Mathematics
- Sexagesimal Number System and Positional Notation
- Algebraic and Geometric Problem Solving
- Plimpton 322 Tablet and Pythagorean Triples
- Applications in Astronomy and Calendar Systems
- Greek Mathematics
- Pythagoras and the Pythagorean School
- Euclid's Elements and Axiomatic Method
- Archimedes and the Method of Exhaustion
- Apollonius and Conic Sections
- Diophantus and Algebraic Equations
- Chinese Mathematics
- Rod Numeral System and Decimal Fractions
- Nine Chapters on the Mathematical Art
- Chinese Remainder Theorem and Simultaneous Congruences
- Magic Squares and Combinatorial Designs
- Indian Mathematics
- Decimal Number System and Negative Numbers
- Aryabhata and Trigonometric Functions
- Brahmagupta and Quadratic Equations
- Madhava and Infinite Series Expansions
- Contributions to Combinatorics and Number Theory b. Medieval Mathematics
- Islamic Mathematics
- House of Wisdom and Translation Movement
- Al-Khwarizmi and Algebra
- Omar Khayyam and Geometric Algebra
- Al-Kashi and Decimal Fractions
- Contributions to Trigonometry and Optics
- European Mathematics
- Fibonacci and the Hindu-Arabic Numeral System
- Jordanus de Nemore and Statics
- Nicole Oresme and Graphical Representation
- Regiomontanus and Trigonometry
- Luca Pacioli and Double-Entry Bookkeeping
- Mathematics in the Americas
- Mayan Numeration System and Calendar
- Inca Quipus and Record Keeping
- Aztec Algebra and Geometry
- Native American Number Systems and Counting Methods c. Early Modern Mathematics
- The Renaissance and the Rise of Algebra
- Cardano and Cubic Equations
- Tartaglia and Quartic Equations
- Viète and Symbolic Algebra
- Stevin and Decimal Fractions
- Napier and Logarithms
- The Development of Analytic Geometry
- Fermat and Coordinate Geometry
- Descartes and La Géométrie
- Pascal and Projective Geometry
- Kepler and Planetary Motion
- Galileo and the Laws of Motion
- The Invention of Calculus
- Newton and Fluxions
- Leibniz and Infinitesimal Calculus
- Bernoulli Family and Differential Equations
- Euler and Analysis
- Lagrange and Variational Calculus d. 19th Century Mathematics
- The Rigorous Foundations of Analysis
- Cauchy and Limits
- Riemann and Integration Theory
- Weierstrass and Epsilon-Delta Definitions
- Dedekind and Real Numbers
- Cantor and Set Theory
- The Emergence of Non-Euclidean Geometry
- Gauss and Curved Surfaces
- Bolyai and Absolute Geometry
- Lobachevsky and Hyperbolic Geometry
- Riemann and Elliptic Geometry
- Klein and the Erlangen Program
- The Development of Abstract Algebra
- Galois and Field Theory
- Cayley and Group Theory
- Hamilton and Quaternions
- Grassmann and Vector Spaces
- Noether and Rings and Ideals
- The Birth of Set Theory and Mathematical Logic
- Cantor and Transfinite Numbers
- Frege and Propositional Logic
- Russell and Principia Mathematica
- Hilbert and Formalism
- Gödel and Incompleteness Theorems e. 20th Century Mathematics
- The Crisis in the Foundations of Mathematics
- Hilbert's Program and Formalism
- Brouwer's Intuitionism
- Russell's Logicism
- Gödel's Incompleteness Theorems
- Turing and Computability Theory
- The Rise of Topology and Functional Analysis
- Poincaré and Algebraic Topology
- Brouwer and Fixed Point Theorems
- Banach and Normed Linear Spaces
- Lebesgue and Measure Theory
- Hilbert and Infinite-Dimensional Spaces
- The Emergence of Computer Science and Discrete Mathematics
- Turing and the Turing Machine
- Von Neumann and Stored-Program Computers
- Shannon and Information Theory
- Dijkstra and Graph Algorithms
- Cook and Computational Complexity
- The Development of Chaos Theory and Fractal Geometry
- Poincaré and Dynamical Systems
- Lorenz and the Butterfly Effect
- Mandelbrot and Fractal Dimensions
- Feigenbaum and Universality
- Smale and Horseshoe Maps f. Contemporary Mathematics
- New Developments in Pure Mathematics
- Langlands Program and Automorphic Forms
- Monstrous Moonshine and Vertex Operator Algebras
- Topological Quantum Field Theories
- Noncommutative Geometry and Quantum Groups
- Homotopy Type Theory and Univalent Foundations
- Advances in Applied Mathematics
- Compressed Sensing and Sparse Signal Recovery
- Topological Data Analysis and Persistent Homology
- Machine Learning and Deep Neural Networks
- Quantum Computing and Quantum Algorithms
- Mathematical Biology and Systems Biology
- The Impact of Computers on Mathematical Research
- Computer-Assisted Proofs and Formal Verification
- Experimental Mathematics and Computational Discovery
- Collaborative Mathematics and Polymath Projects
- Mathematical Databases and Online Resources
- Mathematical Software and Programming Languages
- Open Problems and Conjectures
- Riemann Hypothesis and Zeta Function
- P versus NP Problem and Computational Complexity
- Hodge Conjecture and Algebraic Cycles
- Navier-Stokes Equations and Fluid Dynamics
- Birch and Swinnerton-Dyer Conjecture and Elliptic Curves
- Egyptian Mathematics
Open: DALL·E 2024-06-02 09.03.49 - A visual representation of the foundations of mathematics, depicting key concepts across different fields. The image shows a large, ancient library wi.webp
Open: DALL·E 2024-03-26 05.52.04 - Visualize the structure of reality through the lens of mathematics, mapping the vast landscape of mathematical concepts. This intricate illustration s.webp
- Iceberg [[Above the surface]] ([[commonly known]]):
- [[Basic arithmetic]] ([[addition]], [[subtraction]], [[multiplication]], [[division]], [[exponents]], [[roots]], [[order of operations]])
- [[Fractions]], [[decimals]], [[percentages]], [[ratios]], and [[proportions]]
- [[Basic geometry]] ([[shapes]], [[angles]], [[area]], [[volume]], [[surface area]], [[Pythagorean theorem]], [[similarity]], [[congruence]])
- [[Basic algebra]] ([[solving simple equations]], [[linear functions]], [[inequalities]], [[absolute value]], [[polynomials]])
- [[Basic probability]] ([[coin flips]], [[dice rolls]], [[simple events]], [[basic combinatorics]], [[probability trees]])
- [[Basic statistics]] ([[mean]], [[median]], [[mode]], [[range]], [[standard deviation]], [[variance]], [[z-scores]], [[normal distribution]])
- [[Consumer mathematics]] ([[interest]], [[taxes]], [[budgeting]], [[loans]], [[annuities]], [[depreciation]], [[inflation]])
- [[Measurement and unit conversions]] ([[length]], [[area]], [[volume]], [[mass]], [[time]], [[temperature]])
- [[Basic trigonometry]] ([[sine]], [[cosine]], [[tangent]], [[basic identities]], [[right triangle trigonometry]])
- [[Coordinate geometry]] ([[distance formula]], [[midpoint formula]], [[slope]], [[equations of lines]])
[[Just below the surface]] ([[high school level]]): - [[Advanced trigonometry]] ([[law of sines]], [[law of cosines]], [[trigonometric equations]], [[inverse trigonometric functions]], [[trigonometric form of complex numbers]]) - [[Precalculus]] ([[function composition]], [[transformations]], [[inverse functions]], [[rational functions]], [[parametric equations]], [[polar coordinates]], [[vectors]]) - [[Probability distributions]] ([[binomial]], [[normal]], [[Poisson]], [[geometric]], [[hypergeometric]], [[exponential]], [[chi-square]], [[t-distribution]], [[F-distribution]]) - [[Inferential statistics]] ([[hypothesis testing]], [[confidence intervals]], [[t-tests]], [[chi-square tests]], [[ANOVA]], [[regression]], [[correlation]]) - [[Matrices]], [[determinants]], and [[systems of linear equations]] ([[Gaussian elimination]], [[Cramer's rule]], [[matrix operations]], [[eigenvalues]], [[eigenvectors]]) - [[Complex numbers and polar form]] ([[arithmetic]], [[De Moivre's theorem]], [[roots of unity]], [[geometric interpretation]]) - [[Calculus]] ([[limits]], [[continuity]], [[derivatives]], [[integrals]], [[fundamental theorem]], [[applications]], [[Taylor series]], [[power series]]) - [[Vectors]], [[vector spaces]], and [[linear transformations]] ([[dot product]], [[cross product]], [[span]], [[linear independence]], [[basis]], [[matrix representation]]) - [[Sequences]], [[series]], and [[convergence tests]] ([[arithmetic]], [[geometric]], [[harmonic]], [[telescoping]], [[ratio test]], [[root test]], [[integral test]], [[alternating series]]) - [[Conic sections]] ([[ellipses]], [[hyperbolas]], [[parabolas]], [[eccentricity]], [[foci]], [[directrices]], [[polar equations]]) - [[Combinatorics]] ([[permutations]], [[combinations]], [[binomial theorem]], [[Pascal's triangle]], [[inclusion-exclusion principle]], [[pigeonhole principle]]) - [[Introductory proof techniques]] ([[direct]], [[contradiction]], [[contraposition]], [[induction]], [[case analysis]], [[counterexamples]]) - [[Elementary number theory]] ([[divisibility rules]], [[prime factorization]], [[greatest common divisor]], [[least common multiple]], [[Diophantine equations]]) - [[Graph theory basics]] ([[vertices]], [[edges]], [[degree]], [[paths]], [[cycles]], [[trees]], Euler and Hamilton paths/cycles, [[planar graphs]]) - [[Introductory set theory]] ([[sets]], [[subsets]], [[unions]], [[intersections]], [[complements]], [[Venn diagrams]], [[cardinality]], [[power sets]]) - [[Mathematical logic basics]] ([[propositions]], [[truth tables]], [[logical connectives]], [[quantifiers]], [[validity]], [[satisfiability]])
[[Deeper]] ([[undergraduate level]]): - [[Multivariable calculus]] ([[partial derivatives]], [[gradients]], [[directional derivatives]], [[multiple integrals]], [[change of variables]], [[vector calculus]], [[Green's]], [[Stokes]]', and [[Divergence theorems]]) - [[Differential equations]] ([[first-order]], [[second-order]], [[higher-order]], [[systems]], [[Laplace transforms]], [[series solutions]], [[numerical methods]], [[phase plane analysis]], [[stability]]) - [[Linear algebra]] ([[vector spaces]], [[linear independence]], [[bases]], [[dimension]], [[linear transformations]], [[matrices]], [[determinants]], [[eigenvalues]], [[eigenvectors]], [[diagonalization]], [[inner product spaces]], [[orthogonality]], [[least squares]], [[singular value decomposition]]) - [[Abstract algebra]] ([[groups]], [[subgroups]], [[cosets]], [[Lagrange's theorem]], [[normal subgroups]], [[quotient groups]], [[homomorphisms]], [[isomorphisms]], [[rings]], [[ideals]], [[integral domains]], [[fields]], [[polynomial rings]], [[Galois theory]], [[Sylow theorems]], [[finitely generated abelian groups]]) - [[Real analysis]] ([[completeness]], [[uniform continuity]], [[differentiation]], [[Riemann integration]], [[sequences and series of functions]], [[uniform convergence]], [[Lebesgue measure]], [[Lebesgue integration]], [[function spaces]], [[Banach spaces]], [[Hilbert spaces]], [[Fourier series]], [[Fourier transforms]]) - Complex analysis ([[analytic functions]], [[Cauchy-Riemann equations]], [[harmonic functions]], [[contour integrals]], [[Cauchy's theorem]], [[Cauchy's integral formula]], [[residues]], [[Laurent series]], [[conformal mappings]], [[Riemann mapping theorem]], [[Riemann surfaces]]) - [[Number theory]] ([[divisibility]], [[congruences]], [[prime numbers]], [[Diophantine equations]], [[quadratic reciprocity]], [[primitive roots]], [[continued fractions]], [[Pell's equation]], [[p-adic numbers]], [[algebraic number theory]], [[analytic number theory]], [[elliptic curves]], [[modular forms]]) - [[Topology]] ([[metric spaces]], [[topological spaces]], [[continuity]], [[homeomorphisms]], [[compactness]], [[connectedness]], [[separation axioms]], [[product spaces]], [[quotient spaces]], [[Tychonoff's theorem]], [[fundamental group]], [[covering spaces]], [[knots]], [[surfaces]], [[manifolds]]) - [[Combinatorics]] ([[recurrence relations]], [[generating functions]], [[Ramsey theory]], [[Polya counting]], [[partially ordered sets]], [[lattices]], [[Möbius inversion]], [[Catalan numbers]], [[Young tableaux]], [[symmetric functions]], [[graph enumeration]]) - [[Graph theory]] ([[connectivity]], Eulerian and Hamiltonian paths/cycles, [[coloring]], [[trees]], [[planarity]], [[network flows]], [[matching]], [[independent sets]], [[dominating sets]], [[Ramsey numbers]], [[random graphs]], [[spectral graph theory]], [[expanders]]) - [[Numerical analysis]] ([[error analysis]], [[interpolation]], [[approximation theory]], [[numerical integration]], [[finite differences]], [[numerical linear algebra]], optimization, [[iterative methods]], [[finite element methods]], [[wavelets]], [[compressed sensing]]) - Probability theory ([[random variables]], [[expectation]], [[conditional probability]], [[independence]], [[central limit theorem]], [[laws of large numbers]], [[martingales]], [[Markov chains]], [[Poisson processes]], [[Brownian motion]], [[stochastic processes]], [[ergodic theory]]) - [[Mathematical statistics]] ([[point estimation]], [[sufficient statistics]], [[maximum likelihood]], [[Bayesian inference]], [[decision theory]], [[hypothesis testing]], [[confidence intervals]], [[linear models]], [[multivariate analysis]], [[nonparametric statistics]], [[bootstrap]], [[EM algorithm]]) - [[Differential geometry]] ([[manifolds]], [[tangent spaces]], [[Riemannian metrics]], [[connections]], [[curvature]], [[geodesics]], [[tensors]], [[Lie groups]], [[homogeneous spaces]], [[symmetric spaces]], [[Kähler manifolds]], [[Hodge theory]], [[Chern classes]], [[characteristic classes]]) - [[Fourier analysis]] ([[Fourier series]], [[Fourier transforms]], [[discrete Fourier transforms]], [[wavelets]], [[signal processing]], [[time-frequency analysis]], [[pseudodifferential operators]], [[microlocal analysis]], [[Gabor analysis]], [[Littlewood-Paley theory]]) - [[Partial differential equations]] ([[classification]], [[characteristics]], [[separation of variables]], [[Fourier methods]], [[Green's functions]], [[Sobolev spaces]], [[weak solutions]], regularity, [[maximum principles]], [[variational methods]], [[nonlinear PDEs]], [[conservation laws]], [[shock waves]]) - Optimization ([[linear programming]], [[convexity]], [[duality]], [[Lagrange multipliers]], [[Karush-Kuhn-Tucker conditions]], [[interior point methods]], [[semidefinite programming]], [[stochastic optimization]], [[optimal control]], [[calculus of variations]], [[Hamilton-Jacobi equations]]) - [[Financial mathematics]] ([[stochastic calculus]], [[Black-Scholes model]], [[options pricing]], [[risk management]], [[portfolio optimization]], [[interest rate models]], [[credit risk]], [[Monte Carlo methods]], [[machine learning in finance]], [[algorithmic trading]]) - [[Dynamical systems]] ([[discrete and continuous dynamical systems]], [[fixed points]], [[stability]], [[bifurcations]], [[chaos]], [[attractors]], [[Lyapunov exponents]], [[ergodic theory]], [[topological dynamics]], [[symbolic dynamics]], [[complex dynamics]], [[Hamiltonian systems]]) - [[Coding theory and cryptography]] ([[error-correcting codes]], [[linear codes]], [[cyclic codes]], [[BCH codes]], [[Reed-Solomon codes]], [[convolutional codes]], [[turbo codes]], [[LDPC codes]], [[public-key cryptography]], [[RSA]], [[elliptic curve cryptography]], [[lattice-based cryptography]], [[quantum cryptography]]) - [[Mathematical biology]] ([[population dynamics]], [[epidemiology]], [[ecology]], [[genetics]], neuroscience, [[pattern formation]], [[morphogenesis]], [[biomechanics]], [[bioinformatics]], [[systems biology]], [[biochemical networks]], [[evolutionary game theory]])
[[Even deeper]] ([[graduate level and beyond]]): - [[Measure theory]] ([[σ-algebras]], [[measures]], [[Lebesgue integration]], [[Radon-Nikodym theorem]], [[Fubini's theorem]], [[Lp spaces]], [[Banach spaces]], [[Hilbert spaces]], [[spectral theory]], [[ergodic theory]], [[probability measures]], [[stochastic processes]]) - [[Functional analysis]] ([[Banach spaces]], [[Hilbert spaces]], [[bounded linear operators]], [[spectral theory]], [[Hahn-Banach theorem]], [[open mapping theorem]], [[closed graph theorem]], [[Banach algebras]], [[C]]-[[algebras]], [[von Neumann algebras]], [[noncommutative geometry]]) - [[Algebraic geometry]] ([[affine and projective varieties]], [[schemes]], [[sheaves]], [[cohomology]], [[intersection theory]], [[moduli spaces]], [[abelian varieties]], [[algebraic curves]], [[surfaces]], [[Hodge theory]], [[étale cohomology]], [[p-adic cohomology]], [[motives]], [[Grothendieck's theory]]) - [[Algebraic topology]] ([[fundamental groups]], [[covering spaces]], [[homology]], [[cohomology]], [[homotopy groups]], [[spectral sequences]], [[K-theory]], [[characteristic classes]], [[cobordism]], [[surgery theory]], [[higher categories]], [[infinity-groupoids]], [[homotopy type theory]]) - [[Differential topology]] ([[smooth manifolds]], [[transversality]], [[Morse theory]], [[cobordism]], [[foliations]], [[surgery theory]], [[h-cobordism theorem]], [[pseudoisotopy]], [[Cerf theory]], [[Kirby calculus]], [[contact topology]], [[symplectic topology]]) - [[Representation theory]] ([[linear representations]], [[character theory]], [[Lie groups]], [[Lie algebras]], [[Weyl groups]], [[Schur-Weyl duality]], [[Clifford algebras]], [[spinors]], [[Hecke algebras]], [[quantum groups]], [[crystal bases]], [[categorification]], [[geometric representation theory]]) - [[Commutative algebra]] ([[Noetherian rings]], [[primary decomposition]], [[regular sequences]], [[depth]], [[Cohen-Macaulay rings]], [[Gorenstein rings]], [[homological dimensions]], [[local cohomology]], [[Hilbert functions]], [[Gröbner bases]], [[toric varieties]], [[Stanley-Reisner theory]]) - Homological algebra ([[complexes]], [[homology]], [[cohomology]], [[derived categories]], [[spectral sequences]], [[Ext and Tor functors]], [[Koszul duality]], [[Hochschild homology]], [[cyclic homology]], [[A-infinity algebras]], [[L-infinity algebras]], [[operads]], [[homotopical algebra]]) - Category theory ([[monoidal categories]], [[Abelian categories]], [[Yoneda lemma]], [[adjoint functors]], [[Kan extensions]], [[topos theory]], [[Grothendieck topoi]], [[derived categories]], [[triangulated categories]], [[model categories]], [[higher categories]], [[∞-categories]]) - [[K-theory]] ([[vector bundles]], [[Chern classes]], [[Adams operations]], [[Bott periodicity]], [[index theorems]], [[motivic homotopy theory]], [[algebraic K-theory]], [[topological K-theory]], [[Waldhausen K-theory]], [[noncommutative motives]], [[K-homology]], [[KK-theory]]) - [[Moduli spaces]] ([[moduli of curves]], [[abelian varieties]], [[vector bundles]], [[representations]], [[Hilbert schemes]], [[Gromov-Witten invariants]], [[Donaldson-Thomas invariants]], [[quantum cohomology]], [[mirror symmetry]], [[Calabi-Yau manifolds]], [[Bridgeland stability]]) - [[Topos theory]] ([[Grothendieck topoi]], [[sheaf cohomology]], [[classifying topoi]], [[higher topoi]], [[homotopy type theory]], [[univalent foundations]], [[synthetic differential geometry]], [[synthetic topology]], [[modal homotopy type theory]], [[cohesive homotopy type theory]]) - [[Homotopy theory]] ([[model categories]], [[simplicial sets]], [[spectra]], [[stable homotopy theory]], [[chromatic homotopy theory]], [[∞-categories]], [[A-infinity algebras]], [[E-infinity algebras]], [[operads]], [[Goodwillie calculus]], [[Waldhausen K-theory]], [[Lurie's higher topos theory]]) - [[Symplectic geometry]] ([[Hamiltonian mechanics]], [[Poisson manifolds]], [[moment maps]], [[quantization]], [[Floer homology]], [[mirror symmetry]], [[Fukaya categories]], [[Lagrangian submanifolds]], [[Gromov-Witten theory]], [[Symplectic field theory]], [[contact homology]]) - [[Noncommutative geometry]] ([[C]]-[[algebras]], [[von Neumann algebras]], [[cyclic cohomology]], [[quantum groups]], [[Hopf algebras]], [[Connes]]' theory, [[spectral triples]], [[Dixmier traces]], [[Baum-Connes conjecture]], [[noncommutative tori]], [[quantum tori]], [[quantum spheres]]) - [[Arithmetic geometry]] ([[elliptic curves]], [[modular forms]], [[Shimura varieties]], [[L-functions]], [[Galois representations]], [[Iwasawa theory]], [[p-adic Hodge theory]], [[Fontaine's rings]], [[Weil conjectures]], [[Langlands program]], [[automorphic forms]], [[Hecke algebras]]) - [[Geometric group theory]] ([[hyperbolic groups]], [[CAT(0]]) [[spaces]], [[automatic groups]], [[amenability]], [[Kazhdan's property]] ([[T]]), [[Gromov's theory]], [[Tits alternative]], [[growth of groups]], [[Dehn functions]], [[asymptotic cones]], [[boundaries]], [[quasi-isometries]]) - [[Harmonic analysis]] ([[maximal functions]], [[singular integrals]], [[Littlewood-Paley theory]], [[Bochner-Riesz means]], [[restriction problems]], [[Kakeya conjecture]], [[Fourier restriction theory]], [[oscillatory integrals]], [[Carleson measures]], [[BMO]], [[H^1]], [[Hardy spaces]]) - [[Algebraic number theory]] ([[number fields]], [[class groups]], [[units]], [[ramification]], [[local fields]], [[adeles]], [[ideles]], [[class field theory]], [[Brauer groups]], [[Tate cohomology]], [[Galois cohomology]], [[étale cohomology]], [[L-functions]], [[Birch and Swinnerton-Dyer conjecture]]) - [[Geometric topology]] ([[low-dimensional topology]], [[knot theory]], [[3-manifolds]], [[4-manifolds]], [[Heegaard Floer homology]], [[contact topology]], [[Seiberg-Witten theory]], [[Donaldson invariants]], [[Khovanov homology]], [[Khovanov-Rozansky homology]], [[Reshetikhin-Turaev invariants]]) - [[Quantum topology]] ([[quantum invariants]], [[Jones polynomial]], [[Khovanov homology]], [[topological quantum field theories]], [[conformal field theory]], [[vertex operator algebras]], [[quantum groups]], [[Reshetikhin-Turaev invariants]], [[Witten-Reshetikhin-Turaev invariants]]) - [[Stochastic analysis]] ([[Brownian motion]], [[martingales]], [[Itô calculus]], [[stochastic differential equations]], [[Malliavin calculus]], [[rough paths]], [[stochastic partial differential equations]], [[stochastic control]], [[backward stochastic differential equations]], [[mean field games]]) - [[Infinite-dimensional analysis]] ([[Banach manifolds]], [[Fréchet spaces]], [[inverse problems]], [[calculus of variations]], [[optimal transport]], [[Monge-Ampère equations]], [[Wasserstein spaces]], [[Γ-convergence]], [[gradient flows]], [[Ricci flow]], [[mean curvature flow]]) - [[Descriptive set theory]] ([[Borel sets]], [[analytic sets]], [[projective sets]], [[determinacy]], [[large cardinals]], [[forcing]], [[inner model theory]], [[Wadge hierarchy]], [[Martin's axiom]], [[Solovay model]], [[Woodin cardinals]], [[Π^1_1 sets]], [[Σ^1_2 sets]]) - [[Computability theory]] ([[recursive functions]], [[Turing machines]], [[degrees of unsolvability]], [[constructive mathematics]], [[reverse mathematics]], [[hyperarithmetical hierarchy]], [[Π^1_1-completeness]], [[Π^1_2-completeness]], [[higher recursion theory]], [[α-recursion theory]]) - Mathematical logic ([[first-order logic]], model theory, [[proof theory]], set theory, [[independence results]], [[nonstandard analysis]], [[o-minimality]], [[stability theory]], [[simplicity theory]], [[NIP theories]], [[Shelah's classification theory]], [[Hrushovski constructions]]) - [[Theoretical computer science]] ([[complexity theory]], [[algorithms]], [[data structures]], cryptography, machine learning, quantum computing, [[approximation algorithms]], [[parameterized complexity]], [[descriptive complexity]], [[circuit complexity]], [[communication complexity]]) - [[Quantum mathematics]] ([[quantum probability]], [[quantum information]], [[quantum algorithms]], [[quantum error correction]], [[quantum cryptography]], [[quantum Shannon theory]], [[quantum Markov chains]], [[quantum groups]], [[quantum topology]], quantum field theory) - [[Tropical geometry]] ([[tropical curves]], [[tropical surfaces]], [[tropical varieties]], [[tropical Grassmannians]], [[tropical convexity]], [[tropical linear algebra]], [[tropical combinatorics]], [[tropical Hodge theory]], [[tropical mirror symmetry]], [[connections with toric geometry]]) - [[Higher category theory]] ([[∞-categories]], [[(∞,1)-categories]], [[(∞,n)-categories]], [[quasi-categories]], [[complete Segal spaces]], [[Segal categories]], [[Rezk categories]], [[model categories]], [[homotopy coherent nerve]], [[Grothendieck construction]], [[Lurie's theory of]] [[∞-topoi]]) - [[Derived algebraic geometry]] ([[derived schemes]], [[derived stacks]], [[derived categories of sheaves]], [[cotangent complexes]], [[derived intersection theory]], [[derived moduli spaces]], [[derived Azumaya algebras]], [[derived Brauer groups]], [[derived Picard groups]]) - [[Geometric representation theory]] ([[perverse sheaves]], [[D-modules]], [[microlocal sheaf theory]], [[Hodge modules]], [[Kazhdan-Lusztig theory]], [[geometric Langlands program]], [[Beilinson-Bernstein localization]], [[Kac-Moody algebras]], [[crystal bases]]) - [[Topological data analysis]] ([[persistent homology]], [[barcodes]], [[Mapper algorithm]], [[Reeb graphs]], [[Morse theory]], [[Morse-Smale complexes]], [[zigzag persistence]], [[multidimensional persistence]], [[topological machine learning]], [[topological signal processing]]) - [[Algebraic statistics]] ([[toric models]], [[Markov bases]], [[Gröbner bases]], [[contingency tables]], [[graphical models]], [[phylogenetic trees]], [[algebraic exponential families]], [[maximum likelihood estimation]], [[Bayesian networks]], [[causal inference]]) - [[Nonlinear dispersive equations]] ([[Korteweg-de Vries equation]], [[nonlinear Schrödinger equation]], [[wave maps]], [[Schrödinger maps]], [[Gross-Pitaevskii equation]], [[Hartree equation]], [[Zakharov system]], [[Boussinesq equation]], [[Camassa-Holm equation]]) - [[Integrable systems]] ([[solitons]], [[inverse scattering transform]], [[Lax pairs]], [[Hamiltonian structures]], [[Painlevé equations]], [[Toda lattices]], [[Calogero-Moser systems]], [[Hitchin systems]], [[Seiberg-Witten theory]], [[cluster algebras]], [[Y-systems]]) - [[Algebraic combinatorics]] ([[symmetric functions]], [[Schur functions]], [[Macdonald polynomials]], [[Schubert polynomials]], [[Kazhdan-Lusztig polynomials]], [[cluster algebras]], [[quiver representations]], [[Littlewood-Richardson coefficients]], [[Kostka numbers]]) - [[Extremal combinatorics]] ([[Szemerédi's theorem]], [[Green-Tao theorem]], [[Roth's theorem]], [[Sárközy's theorem]], [[Erdős-Ko-Rado theorem]], [[Sperner's theorem]], [[Turán's theorem]], [[Ramsey theory]], [[Szemerédi regularity lemma]], [[graph limits]]) - [[Additive combinatorics]] ([[Freiman's theorem]], [[Plünnecke-Ruzsa inequalities]], [[Balog-Szemerédi-Gowers theorem]], [[sum-product estimates]], [[Bourgain-Katz-Tao theorem]], [[Erdős-Volkmann theorem]], [[Bohr sets]], [[Roth's theorem in the primes]]) - [[Geometric measure theory]] ([[Hausdorff measures]], [[rectifiable sets]], [[Lipschitz maps]], [[area and coarea formulas]], [[currents]], [[varifolds]], [[minimal surfaces]], [[Plateau's problem]], [[isoperimetric inequalities]], [[Brunn-Minkowski theory]]) - [[Metric geometry]] ([[length spaces]], [[Alexandrov spaces]], [[Gromov-Hausdorff convergence]], [[Gromov hyperbolicity]], [[asymptotic cones]], [[coarse geometry]], [[Lipschitz extensions]], [[Assouad dimension]], [[Nagata dimension]], [[Markov convexity]]) - [[Fractal geometry]] ([[Hausdorff dimension]], [[box dimension]], [[packing dimension]], [[self-similarity]], [[iterated function systems]], [[Julia sets]], [[Mandelbrot set]], [[Sierpiński triangle]], [[Cantor set]], [[Moran constructions]], [[multifractal analysis]]) - [[Random matrix theory]] ([[Wigner matrices]], [[Wishart matrices]], [[Tracy-Widom distribution]], [[Airy point process]], [[determinantal point processes]], [[Gaussian unitary ensemble]], [[Gaussian orthogonal ensemble]], [[Gaussian symplectic ensemble]], [[free probability]]) - [[Compressed sensing]] ([[sparse recovery]], [[basis pursuit]], [[matching pursuit]], [[restricted isometry property]], [[null space property]], [[coherence]], [[matrix completion]], [[phase retrieval]], [[dictionary learning]], [[low-rank matrix recovery]]) - [[Topological quantum field theory]] ([[Atiyah-Segal axioms]], [[Witten-Reshetikhin-Turaev invariants]], [[Chern-Simons theory]], [[Jones polynomial]], [[Khovanov homology]], [[Heegaard Floer homology]], [[Ozsvath-Szabo invariants]], [[Crane-Yetter invariants]]) - [[Quantum algebra]] ([[quantum groups]], [[Hopf algebras]], [[Drinfeld doubles]], [[quasitriangular Hopf algebras]], [[ribbon Hopf algebras]], [[Yetter-Drinfeld modules]], [[Nichols algebras]], [[pointed Hopf algebras]], [[quantum cluster algebras]]) - [[Noncommutative algebraic geometry]] ([[noncommutative projective geometry]], [[noncommutative schemes]], [[noncommutative resolutions]], [[Calabi-Yau algebras]], [[Sklyanin algebras]], [[Artin-Schelter regular algebras]], [[twisted homogeneous coordinate rings]]) - [[Quantum chaos]] ([[quantum ergodicity]], [[quantum unique ergodicity]], [[Hecke quantum unique ergodicity]], [[quantum graphs]], [[quantum maps]], [[quantum billiards]], [[Gutzwiller trace formula]], [[Selberg trace formula]], [[Weyl law]], [[scarring]]) - [[Quantum topology and knot theory]] ([[Jones polynomial]], [[HOMFLY-PT polynomial]], [[Kauffman polynomial]], [[Reshetikhin-Turaev invariants]], [[Witten-Reshetikhin-Turaev invariants]], [[Khovanov homology]], [[Khovanov-Rozansky homology]], [[knot Floer homology]]) - [[Quantum information theory]] ([[quantum entanglement]], [[quantum channels]], [[quantum capacity]], [[entanglement measures]], [[quantum error correction]], [[quantum key distribution]], [[quantum teleportation]], [[quantum dense coding]], [[quantum algorithms]]) - [[Quantum field theory and string theory]] ([[path integrals]], [[Feynman diagrams]], [[renormalization]], [[gauge theories]], [[conformal field theories]], [[topological field theories]], AdS/CFT correspondence, [[D-branes]], M-theory, [[F-theory]]) - [[Homotopy type theory and univalent foundations]] ([[homotopy type theory]], [[univalence axiom]], [[higher inductive types]], [[cubical type theory]], [[dependent type theory]], [[categorical semantics]], [[homotopy-theoretic models]], [[formalization of mathematics]]) - [[Topological phases of matter]] ([[topological insulators]], [[topological superconductors]], [[fractional quantum Hall effect]], [[anyons]], [[Majorana fermions]], [[symmetry-protected topological phases]], [[topological quantum computation]], [[classification of topological phases]]) - [[Quantum gravity and loop quantum gravity]] ([[Ashtekar variables]], [[spin networks]], [[spin foams]], [[Ponzano-Regge model]], [[Turaev-Viro model]], [[Lorentzian quantum gravity]], [[causal dynamical triangulations]], [[Horava-Lifshitz gravity]], [[causal sets]]) - [[Nonlinear waves and solitons]] ([[Korteweg-de Vries equation]], [[nonlinear Schrödinger equation]], [[sine-Gordon equation]], [[Toda lattice]], [[Kadomtsev-Petviashvili equation]], [[Davey-Stewartson equation]], [[Camassa-Holm equation]], [[peakons]]) - [[Integrable probability]] ([[Kardar-Parisi-Zhang equation]], [[asymmetric simple exclusion process]], [[last passage percolation]], [[random matrix theory]], [[Macdonald processes]], [[Schur processes]], [[stochastic six-vertex model]], [[Yang-Baxter equation]]) - [[Topological recursion and matrix models]] ([[topological recursion]], [[Eynard-Orantin invariants]], [[Mirzakhani's recursion]], [[Kontsevich-Witten theorem]], [[Virasoro constraints]], [[Airy structures]], [[Chekhov-Eynard-Orantin topological recursion]], [[Bouchard-Mariño conjecture]]) - [[Geometric Langlands program]] ([[Langlands correspondence]], [[Hecke eigensheaves]], [[Hitchin fibration]], [[Hitchin systems]], [[Beilinson-Drinfeld Grassmannians]], [[Kac-Moody representations]], [[affine Lie algebras]], [[conformal blocks]], [[Kapustin-Witten equations]]) - [[Topological Hochschild homology and topological cyclic homology]] ([[Hochschild homology]], [[cyclic homology]], [[topological Hochschild homology]], [[topological cyclic homology]], [[trace methods]], [[algebraic K-theory]], [[Goodwillie calculus]], [[cyclotomic spectra]]) - [[Equivariant homotopy theory and global homotopy theory]] ([[G-spaces]], [[G-spectra]], [[equivariant stable homotopy theory]], [[global stable homotopy theory]], [[global K-theory]], [[global bordism theory]], [[equivariant cohomology theories]], [[Bredon cohomology]]) - [[Motivic homotopy theory and motivic cohomology]] ([[motivic spaces]], [[motivic spectra]], [[motivic cohomology]], [[motivic Steenrod algebra]], [[motivic Adams spectral sequence]], [[Voevodsky's triangulated categories of motives]], [[Bloch-Kato conjecture]]) - [[Topological modular forms and elliptic cohomology]] ([[elliptic cohomology]], [[topological modular forms]], [[Goerss-Hopkins-Miller theorem]], [[Lurie's theorem]], [[Segal conjecture]], [[Witten genus]], [[string orientation]], [[tmf-cooperations]]) - [[Derived algebraic geometry and spectral algebraic geometry]] ([[∞-categories of schemes]], [[derived schemes]], [[spectral schemes]], [[derived stacks]], [[spectral stacks]], [[cotangent complexes]], [[loop spaces]], [[tangent complexes]], [[de Rham complexes]]) - [[Homotopy theory of higher categories]] ([[simplicial sets]], [[quasi-categories]], [[complete Segal spaces]], [[Segal categories]], [[Rezk categories]], [[model categories]], [[(∞,1)-categories]], [[(∞,n)-categories]], [[Grothendieck construction]], [[Lurie's theory]]) - [[Topological quantum computation and anyonic quantum computation]] ([[anyons]], [[braiding statistics]], [[fusion rules]], [[modular tensor categories]], [[Fibonacci anyons]], [[Ising anyons]], [[Jones-Kauffman anyons]], [[topological quantum error correction]], [[topological quantum memories]]) - [[Quantum algorithms and quantum complexity theory]] ([[Shor's algorithm]], [[Grover's algorithm]], [[quantum Fourier transform]], [[quantum phase estimation]], [[quantum amplitude amplification]], [[quantum adiabatic optimization]], [[quantum complexity classes]], [[quantum supremacy]]) - [[Quantum error correction and fault-tolerant quantum computation]] ([[stabilizer codes]], [[CSS codes]], [[toric codes]], [[surface codes]], [[color codes]], [[magic state distillation]], [[threshold theorem]], [[concatenated codes]], [[topological quantum error correction]]) - [[Quantum Shannon theory and quantum information theory]] ([[quantum entropy]], [[quantum relative entropy]], [[quantum mutual information]], [[quantum channel capacities]], [[quantum data compression]], [[quantum state merging]], [[quantum state redistribution]], [[quantum reverse Shannon theorem]]) - [[Quantum cryptography and quantum key distribution]] ([[BB84 protocol]], [[E91 protocol]], [[B92 protocol]], [[decoy state protocol]], [[measurement-device-independent quantum key distribution]], [[quantum coin flipping]], [[quantum bit commitment]], [[quantum oblivious transfer]]) - [[Quantum metrology and quantum sensing]] ([[quantum parameter estimation]], [[quantum Cramér-Rao bound]], [[quantum Fisher information]], [[quantum phase estimation]], [[quantum magnetometry]], [[quantum thermometry]], [[quantum illumination]], [[quantum radar]]) - [[Quantum machine learning and quantum-enhanced machine learning]] ([[quantum support vector machines]], [[quantum principal component analysis]], [[quantum k-means clustering]], [[quantum Boltzmann machines]], [[quantum generative adversarial networks]], [[quantum autoencoders]], [[quantum reinforcement learning]]) - [[Quantum simulation and quantum-enhanced optimization]] ([[quantum annealing]], [[quantum adiabatic optimization]], [[quantum approximate optimization algorithm]], [[variational quantum eigensolver]], [[quantum Boltzmann machines]], [[quantum Hopfield networks]], [[quantum reservoir computing]]) - [[Quantum control and quantum optimal control theory]] ([[quantum control landscapes]], [[quantum control hamiltonians]], [[quantum control pulses]], [[quantum gate synthesis]], [[quantum state preparation]], [[quantum state transfer]], [[quantum error suppression]], [[quantum robust control]]) - [[Quantum thermodynamics and quantum resource theories]] ([[quantum work]], [[quantum heat]], [[quantum entropy production]], [[quantum fluctuation theorems]], [[quantum Jarzynski equality]], [[quantum Crooks fluctuation theorem]], [[quantum resource theories of athermality]], [[asymmetry]], and [[coherence]]) - [[Quantum foundations and interpretations of quantum mechanics]] ([[Copenhagen interpretation]], [[many-worlds interpretation]], [[de Broglie-Bohm theory]], [[consistent histories]], [[quantum Bayesianism]], [[quantum contextuality]], [[quantum nonlocality]], [[Bell's theorem]], [[Kochen-Specker theorem]]) - [[Quantum gravity phenomenology and experimental tests of quantum gravity]] ([[Planck-scale physics]], [[quantum spacetime]], [[Lorentz violation]], [[deformed special relativity]], [[generalized uncertainty principles]], [[quantum gravitational decoherence]], [[quantum gravity induced entanglement]], [[quantum cosmology]]) - [[Quantum computing architectures and implementations]] ([[superconducting qubits]], [[trapped ions]], [[quantum dots]], [[nitrogen-vacancy centers]], [[linear optics]], [[topological qubits]], [[anyonic qubits]], [[quantum annealers]], [[quantum simulators]], [[quantum error correction codes]]) - [[Quantum algorithms for quantum chemistry and quantum materials science]] ([[quantum phase estimation]], [[variational quantum eigensolver]], [[quantum subspace expansion]], [[quantum Lanczos algorithm]], [[quantum Krylov subspace methods]], [[quantum tensor networks]], [[density matrix renormalization group]]) - [[Quantum algorithms for optimization and machine learning]] ([[quantum approximate optimization algorithm]], [[quantum adiabatic optimization]], [[quantum annealing]], [[quantum Boltzmann machines]], [[quantum generative adversarial networks]], [[quantum autoencoders]], [[quantum reinforcement learning]]) - [[Quantum algorithms for linear algebra and differential equations]] ([[quantum linear systems algorithm]], [[quantum singular value transformation]], [[quantum ordinary differential equations]], [[quantum partial differential equations]], [[quantum finite element methods]], [[quantum spectral methods]]) - [[Quantum algorithms for graph theory and network analysis]] ([[quantum walk algorithms]], [[quantum PageRank]], [[quantum community detection]], [[quantum centrality measures]], [[quantum graph isomorphism]], [[quantum graph matching]], [[quantum graph coloring]]) - [[Quantum algorithms for number theory and cryptography]] ([[Shor's algorithm]], [[quantum algorithms for discrete logarithms]], [[quantum algorithms for elliptic curve discrete logarithms]], [[quantum algorithms for lattice problems]], [[quantum algorithms for coding theory]]) - [[Quantum algorithms for data analysis and signal processing]] ([[quantum Fourier transform]], [[quantum wavelet transform]], [[quantum principal component analysis]], [[quantum independent component analysis]], [[quantum compressed sensing]], [[quantum super-resolution]]) - [[Quantum algorithms for simulation of physical systems]] ([[quantum Hamiltonian simulation]], [[quantum Trotter-Suzuki decomposition]], [[quantum Lie-Trotter-Kato decomposition]], [[quantum Lanczos algorithm]], [[quantum tensor networks]], [[quantum Monte Carlo methods]]) - [[Quantum algorithms for optimization of classical and quantum circuits]] ([[quantum circuit optimization]], [[quantum gate synthesis]], [[quantum circuit compilation]], [[quantum circuit placement and routing]], [[quantum circuit verification and debugging]]) - [[Quantum algorithms for quantum error correction and fault-tolerant quantum computation]] ([[quantum stabilizer codes]], [[quantum CSS codes]], [[quantum toric codes]], [[quantum surface codes]], [[quantum color codes]], [[quantum magic state distillation]], [[quantum threshold theorem]]) - [[Quantum algorithms for quantum communication and quantum networks]] ([[quantum teleportation]], [[quantum dense coding]], [[quantum repeaters]], [[quantum network coding]], [[quantum network tomography]], [[quantum network routing and switching]]) - [[Quantum algorithms for quantum sensing and metrology]] ([[quantum phase estimation]], [[quantum parameter estimation]], [[quantum Cramér-Rao bound]], [[quantum Fisher information]], [[quantum Heisenberg limit]], [[quantum squeezed states]], [[quantum entanglement-enhanced sensing]]) - [[Quantum algorithms for quantum control and quantum feedback]] ([[quantum optimal control]], [[quantum Lyapunov control]], [[quantum robust control]], [[quantum feedback control]], [[quantum reservoir engineering]], [[quantum measurement-based feedback]], [[quantum coherent feedback]]) - [[Quantum algorithms for quantum thermodynamics and quantum resource theories]] ([[quantum Szilard engine]], [[quantum Otto cycle]], [[quantum Carnot cycle]], [[quantum fluctuation theorems]], [[quantum Jarzynski equality]], [[quantum Crooks fluctuation theorem]], [[quantum resource theory of athermality]]) - [[Quantum algorithms for quantum foundations and quantum information theory]] ([[quantum state discrimination]], [[quantum state tomography]], [[quantum process tomography]], [[quantum entanglement detection]], [[quantum entanglement quantification]], [[quantum steering]], [[quantum nonlocality]]) - [[Quantum algorithms for quantum machine learning and quantum-enhanced machine learning]] ([[quantum support vector machines]], [[quantum principal component analysis]], [[quantum k-means clustering]], [[quantum Boltzmann machines]], [[quantum generative adversarial networks]], [[quantum autoencoders]], [[quantum reinforcement learning]]) - [[Quantum algorithms for quantum simulation and quantum-enhanced optimization]] ([[quantum annealing]], [[quantum adiabatic optimization]], [[quantum approximate optimization algorithm]], [[variational quantum eigensolver]], [[quantum Boltzmann machines]], [[quantum Hopfield networks]], [[quantum reservoir computing]])
Mathematical structure of reality is my religion.
Reality is pretty simple, it's all just algebra, geometry, trigonometry, calculus, differential equations, linear algebra, complex analysis, tensor analysis, group theory, topology, manifolds, Lie algebras, Hilbert spaces, Fourier analysis, wavelets, probability theory, statistics, combinatorics, graph theory, number theory, numerical analysis, optimization, dynamical systems, chaos theory, fractals, Newton's laws, Lagrangian mechanics, Hamiltonian mechanics, Euler-Lagrange equation, Hamilton-Jacobi equation, Noether's theorem, special relativity, Lorentz transformations, general relativity, Einstein field equations, Schwarzschild metric, Kerr metric, Friedmann equations, quantum mechanics, Schrödinger equation, Heisenberg uncertainty principle, Dirac equation, Klein-Gordon equation, Pauli exclusion principle, quantum field theory, Feynman diagrams, path integrals, gauge theory, Yang-Mills theory, Standard Model, Higgs mechanism, renormalization, perturbation theory, statistical mechanics, Boltzmann equation, Fermi-Dirac statistics, Bose-Einstein statistics, partition function, thermodynamics, Maxwell's equations, Navier-Stokes equations, fluid dynamics, magnetohydrodynamics, plasma physics, solid-state physics, Bloch theorem, band theory, Fermi surface, superconductivity, superfluidity, Bose-Einstein condensation, atomic physics, Rydberg formula, fine structure, hyperfine structure, Zeeman effect, Stark effect, nuclear physics, liquid drop model, shell model, Bethe-Weizsäcker formula, Gamow factor, particle physics, Feynman rules, Dyson series, Faddeev-Popov ghosts, Slavnov-Taylor identities, Callan-Symanzik equation, renormalization group, asymptotic freedom, confinement, spontaneous symmetry breaking, chiral symmetry breaking, neutrino oscillations, CP violation, cosmology, Friedmann-Lemaître-Robertson-Walker metric, cosmic microwave background, inflation, dark matter, dark energy, baryogenesis, Riemannian geometry, symplectic geometry, algebraic geometry, differential topology, algebraic topology, homology, cohomology, homotopy theory, category theory, sheaf theory, K-theory, Morse theory, Floer homology, Donaldson theory, Seiberg-Witten theory, Gromov-Witten theory, mirror symmetry, string theory, M-theory, supergravity, supersymmetry, BRST symmetry, conformal field theory, Chern-Simons theory, AdS/CFT correspondence, holography, black hole thermodynamics, Hawking radiation, Unruh effect, Casimir effect, quantum chromodynamics, lattice QCD, chiral perturbation theory, heavy quark effective theory, soft-collinear effective theory, parton model, factorization theorems, operator product expansion, sum rules, dispersion relations, S-matrix theory, Regge theory, bootstrap, dual resonance models, Veneziano amplitude, Koba-Nielsen-Olesen scaling, Polyakov action, Nambu-Goto action, Liouville theory, matrix models, random matrices, quantum chaos, quantum integrability, Bethe ansatz, Yang-Baxter equation, Knizhnik-Zamolodchikov equation, Virasoro algebra, Kac-Moody algebra, vertex operator algebras, conformal bootstrap, Ising model, Potts model, percolation theory, renormalization group flow, critical exponents, universality, scaling, self-organized criticality, cellular automata, agent-based models, network theory, random graphs, small-world networks, scale-free networks, epidemic models, game theory, Nash equilibrium, evolutionary game theory, mean-field theory, Ginzburg-Landau theory, Onsager solution, Bethe lattice, cavity method, replica trick, spin glasses, random energy model, directed polymers, Kardar-Parisi-Zhang equation, Burgers' equation, Korteweg-de Vries equation, nonlinear Schrödinger equation, solitons, instantons, kinks, vortices, Abrikosov vortex lattice, Berezinskii-Kosterlitz-Thouless transition, quantum Hall effect, topological insulators, Weyl semimetals, Dirac semimetals, Majorana fermions, anyons, quantum computing, Variational principles, least action principle, Fermat's principle, Huygens' principle, Maupertuis' principle, Gauss' principle of least constraint, Hertz's principle of least curvature, Liouville's theorem, Poincaré recurrence theorem, Kolmogorov-Arnold-Moser theorem, Nekhoroshev theorem, Poincaré-Birkhoff theorem, Smale horseshoe, Melnikov method, Duffing equation, van der Pol equation, Mathieu equation, Hill's equation, Floquet theory, Lyapunov exponents, Poincaré map, bifurcation theory, normal forms, center manifold theorem, Hopf bifurcation, pitchfork bifurcation, saddle-node bifurcation, transcritical bifurcation, Bogdanov-Takens bifurcation, Bautin bifurcation, Neimark-Sacker bifurcation, Shilnikov bifurcation, Feigenbaum constants, Sharkovskii's theorem, Hénon map, Lorenz system, Rössler system, Chua's circuit, Belousov-Zhabotinsky reaction, Kuramoto model, Fitzhugh-Nagumo model, Hodgkin-Huxley model, cable equation, reaction-diffusion equations, Turing patterns, Gray-Scott model, Swift-Hohenberg equation, Ginzburg-Landau equation, Gross-Pitaevskii equation, Bogoliubov-de Gennes equations, Eilenberger equation, Gorkov equation, Eliashberg theory, Bogoliubov transformation, Hartree-Fock approximation, density functional theory, Kohn-Sham equations, Hohenberg-Kohn theorems, exchange-correlation functionals, local density approximation, generalized gradient approximation, time-dependent density functional theory, quantum Monte Carlo, variational Monte Carlo, diffusion Monte Carlo, path integral Monte Carlo, tensor networks, matrix product states, projected entangled pair states, multiscale methods, renormalization group methods, dynamical mean-field theory, cluster dynamical mean-field theory, quantum embedding methods, quantum cluster methods, nonequilibrium Green's functions, Keldysh formalism, Kadanoff-Baym equations, Boltzmann transport equation, Landauer-Büttiker formalism, Kubo formula, Green-Kubo relations, fluctuation-dissipation theorem, Jarzynski equality, Crooks fluctuation theorem, Gallavotti-Cohen fluctuation theorem, large deviation theory, stochastic thermodynamics, Ricci calculus, Cartan formalism, exterior calculus, Hodge theory, de Rham cohomology, Dolbeault cohomology, Kähler geometry, Calabi-Yau manifolds, Sasaki-Einstein manifolds, G2 manifolds, Spin(7) manifolds, Hitchin's equations, Seiberg-Witten equations, Donaldson-Thomas invariants, Gromov-Hausdorff convergence, Ricci flow, mean curvature flow, harmonic maps, minimal surfaces, Plateau's problem, isoperimetric inequality, Sobolev spaces, Besov spaces, Triebel-Lizorkin spaces, interpolation spaces, Lorentz spaces, Orlicz spaces, Banach spaces, Fréchet spaces, nuclear spaces, topological vector spaces, Schwartz space, tempered distributions, pseudodifferential operators, Fourier integral operators, microlocal analysis, wavefront set, Hörmander's theorem, Duistermaat-Hörmander theorem, Egorov's theorem, Weyl quantization, Wigner function, Husimi function, Glauber-Sudarshan P-representation, quantum tomography, quantum state reconstruction, quantum process tomography, quantum error correction, quantum cryptography, quantum key distribution, quantum teleportation, quantum dense coding, quantum algorithms, Shor's algorithm, Grover's algorithm, quantum Fourier transform, quantum phase estimation, quantum amplitude amplification, quantum walks, quantum adiabatic optimization, quantum annealing, quantum machine learning, quantum neural networks, quantum Boltzmann machines, quantum autoencoders, quantum generative adversarial networks, quantum reservoir computing, quantum feedback control, quantum optimal control, quantum metrology, quantum sensing, quantum imaging, quantum radar, quantum illumination, quantum lithography, quantum plasmonics, quantum metamaterials, quantum nanophotonics, cavity optomechanics, circuit quantum electrodynamics, quantum dots, quantum wells, quantum wires, quantum point contacts, fractional quantum Hall effect, quantum spin Hall effect, topological superconductors, Majorana zero modes, non-Abelian anyons, quantum spin liquids, quantum magnetism, quantum phase transitions, Bose-Hubbard model, Jaynes-Cummings model, Rabi model, Dicke model, Lipkin-Meshkov-Glick model, Sachdev-Ye-Kitaev model, AdS/CMT correspondence, Kac-Moody algebras, affine Lie algebras, Virasoro algebras, W-algebras, vertex algebras, quantum groups, Hopf algebras, Yangians, crystal bases, cluster algebras, Poisson-Lie groups, Drinfeld doubles, Manin triples, Lie bialgebras, Lie-Poisson structures, Poisson-Nijenhuis structures, Courant algebroids, Dirac structures, generalized complex structures, exceptional generalized geometry, double field theory, noncommutative geometry, spectral triples, Connes' distance formula, Tomita-Takesaki theory, modular automorphisms, KMS states, Haag-Kastler axioms, Wightman axioms, Osterwalder-Schrader axioms, Euclidean quantum field theory, constructive quantum field theory, algebraic quantum field theory, locally covariant quantum field theory, perturbative algebraic quantum field theory, factorization algebras, chiral algebras, conformal nets, loop quantum gravity, spin foam models, group field theory, causal dynamical triangulations, causal sets, noncommutative geometry approach to quantum gravity, asymptotic safety, Hořava-Lifshitz gravity, shape dynamics, doubly special relativity, relative locality, rainbow gravity, quantum cosmology, Wheeler-DeWitt equation, loop quantum cosmology, canonical quantum gravity, path integral quantum gravity, Regge calculus, dynamical triangulations, Euclidean quantum gravity, twistor theory, Penrose transform, Newman-Penrose formalism, Petrov classification, Raychaudhuri equation, Sachs equations, Bondi-Metzner-Sachs group, Newman-Unti group, asymptotic symmetries, Bondi-Sachs energy-momentum, Hawking energy, Geroch energy, Penrose inequality, positive mass theorem, Witten spinorial proof, Schoen-Yau proof, Bartnik mass, Komar mass, ADM mass, ADM momentum, Bondi mass, Bondi news function, memory effect, soft graviton theorem, supertranslations, superrotations, extended BMS group, celestial holography, celestial CFT, Mellin amplitudes, conformal soft theorems, infrared triangle, black hole information paradox, firewall paradox, ER=EPR conjecture, Almheiri-Marolf-Polchinski-Sully proposal, Papadodimas-Raju proposal, fuzzball proposal, traversable wormholes, wormhole swap, baby universes, Atiyah-Singer index theorem, Atiyah-Bott fixed point theorem, Atiyah-Segal completion theorem, Connes-Kasparov conjecture, Baum-Connes conjecture, Novikov conjecture, Gromov-Lawson-Rosenberg conjecture, Stolz-Teichner conjecture, Freed-Hopkins-Teleman theorem, cobordism hypothesis, Madsen-Weiss theorem, Mumford conjecture, Witten conjecture, Seiberg-Witten invariants, Donaldson invariants, contact homology, symplectic field theory, Fukaya category, derived categories, tilting theory, Bridgeland stability conditions, Kontsevich homological mirror symmetry conjecture, SYZ conjecture, Gopakumar-Vafa conjecture, ADHM construction, Nahm equations, Kapustin-Witten equations, geometric Langlands correspondence, quantum geometric Langlands correspondence, Beilinson-Drinfeld quantization, Gaitsgory-Lurie conjecture, Weil conjectures, Grothendieck's standard conjectures, Hodge conjecture, Tate conjecture, Birch and Swinnerton-Dyer conjecture, Langlands program, Taniyama-Shimura conjecture, Fontaine-Mazur conjecture, Bloch-Kato conjecture, Beilinson conjectures, Parshin conjectures, Zagier conjectures, Stark conjectures, Hilbert-Pólya conjecture, Riemann hypothesis, Goldbach's conjecture, twin prime conjecture, ABC conjecture, Collatz conjecture, Erdős-Straus conjecture, Erdős-Szemerédi conjecture, Erdős-Hajnal conjecture, Hadwiger conjecture, Ringel-Kotzig conjecture, Hadamard conjecture, Jacobian conjecture, Dixmier conjecture, Kaplansky conjectures, Baum-Connes conjecture for groupoids, Farrell-Jones conjecture, Borel conjecture, Novikov conjecture for groups, Gromov-Lawson conjecture, Cannon conjecture, Andrews-Curtis conjecture, Whitehead conjecture, Zeeman conjecture, Poincaré conjecture, geometrization conjecture, Thurston's geometrization conjecture, Seifert fiber space conjecture, virtually Haken conjecture, virtual fibering conjecture, Marden's tameness conjecture, ending lamination conjecture, Ahlfors measure conjecture, MLC conjecture, Bers slice conjecture, density conjecture, Ehrenpreis conjecture, Fatou-Julia-Baker conjecture, Mandelbrot set conjecture, contact geometry, Poisson geometry, pseudo-Riemannian geometry, Finsler geometry, Lorentzian geometry, Sasakian geometry, Calabi-Yau geometry, hyperkähler geometry, quaternionic Kähler geometry, octonionic geometry, exceptional geometry, toric geometry, tropical geometry, quantum geometry, arithmetic geometry, enumerative geometry, motivic geometry, derived geometry, p-adic geometry, rigid analytic geometry, Berkovich spaces, perfectoid spaces, o-minimal structures, model theory, topos theory, ∞-categories, higher category theory, homotopy type theory, univalent foundations, proof theory, reverse mathematics, constructive mathematics, computable analysis, scientific computing, computational fluid dynamics, computational electromagnetism, computational quantum mechanics, computational materials science, computational biophysics, computational neuroscience, computational genomics, computational proteomics, computational drug design, computational systems biology, computational ecology, computational economics, computational finance, computational social science, computational linguistics, computational musicology, computational archaeology, computational art, computational creativity, computational humor, computational law, computational ethics, computational philosophy, computational history, computational journalism, computational education, computational sustainability, computational urban planning, computational transportation science, computational epidemiology, computational immunology, computational oncology, computational cardiology, computational psychiatry, computational cognitive science, computational anthropology, computational sociology, computational political science, computational international relations, computational peace science, computational conflict resolution, computational diplomacy, computational propaganda, computational counterterrorism, computational intelligence, computational learning theory, computational game theory, computational mechanism design, computational social choice, computational voting theory, computational judgment aggregation, computational epistemic logic, computational modal logic, computational temporal logic, computational deontic logic, computational action logic, computational coalition logic, computational argumentation theory, computational belief revision, computational trust theory, computational reputation theory, computational social network analysis, computational organizational theory, computational institutional analysis, computational collective intelligence, computational swarm intelligence, computational multi-agent systems, computational evolutionary game theory, computational population dynamics, computational evolutionary dynamics, computational cultural evolution, computational memetics, computational gene-culture coevolution, computational niche construction, electroweak theory, grand unified theories, F-theory, bosonic string theory, heterotic string theory, type I string theory, type IIA string theory, type IIB string theory, matrix theory, matrix string theory, topological string theory, topological quantum field theory, two-dimensional conformal field theory, higher-dimensional conformal field theory, logarithmic conformal field theory, parafermionic conformal field theory, W-algebra conformal field theory, Liouville conformal field theory, minimal model conformal field theory, rational conformal field theory, irrational conformal field theory, boundary conformal field theory, defect conformal field theory, permutation orbifold conformal field theory, coset conformal field theory, Wess-Zumino-Witten model, affine Lie algebra, vertex operator algebra, chiral algebra, modular tensor category, fusion category, braided monoidal category, ribbon category, modular functor, topological modular form, elliptic cohomology, tmf, string topology, string field theory, open string field theory, closed string field theory, Batalin-Vilkovisky formalism, Batalin-Fradkin-Vilkovisky formalism, Gerstenhaber algebra, homotopy algebra, A-infinity algebra, L-infinity algebra, operad, cyclic operad, modular operad, Deligne conjecture, Kontsevich formality theorem, deformation quantization, star product, Moyal product, Kontsevich star product, Fedosov star product, Cattaneo-Felder star product, Tsygan formality, Tamarkin formality, Kontsevich-Soibelman equation, Maurer-Cartan equation, homotopy Maurer-Cartan equation, quantum master equation, classical master equation, Batalin-Vilkovisky master equation, Batalin-Fradkin-Vilkovisky master equation, Zwiebach invariants, string vertices, closed string vertices, open-closed string vertices, quantum closed string vertices, quantum open-closed string vertices, loop vertices, gauge fixing, Siegel gauge, Schnabl gauge, Asano-Natsuume gauge, Erler-Schnabl solution, Kiermaier-Okawa solution, Fuchs-Kroyter-Potting solution, Erler-Maccaferri solution, Murata-Schnabl solution, Hata-Kojita solution, Hata-Matsunaga solution, Kunitomo-Okawa solution, Nonlinear sigma models, Wess-Zumino-Witten models, Chern-Simons theories, Donaldson-Witten theories, Seiberg-Witten theories, Rozansky-Witten theories, Casson-Witten invariants, Gromov-Witten invariants, Gopakumar-Vafa invariants, Ooguri-Vafa invariants, Nekrasov partition functions, AGT correspondence, Bethe/gauge correspondence, dimer models, crystal melting, topological vertex, topological recursion, Eynard-Orantin invariants, quantum curves, quantum spectral curves, quantum Airy structures, Kac-Schwarz operators, Virasoro constraints, W-constraints, Hirota equations, Miwa variables, Sato Grassmannian, Segal-Wilson Grassmannian, infinite-dimensional Grassmannian, Sato tau function, Jimbo-Miwa-Ueno tau function, KP hierarchy, BKP hierarchy, KdV hierarchy, Toda hierarchy, Ablowitz-Kaup-Newell-Segur hierarchy, Drinfeld-Sokolov hierarchies, Gelfand-Dickey hierarchies, W-algebra hierarchies, isomonodromy deformations, Painlevé equations, Garnier systems, Schlesinger systems, Chazy equation, Ramanujan identities, Rogers-Ramanujan identities, Gordon identities, Baxter equations, Yang-Baxter equations, Knizhnik-Zamolodchikov-Bernard equations, Calogero-Moser systems, Ruijsenaars-Schneider systems, Hitching systems, Seiberg-Witten integrable systems, Nekrasov-Shatashvili correspondence, quantum integrable systems, thermodynamic Bethe ansatz, algebraic Bethe ansatz, coordinate Bethe ansatz, off-diagonal Bethe ansatz, nested Bethe ansatz, ODE/IM correspondence, Langlands duality, Ngô strings, Arthur-Selberg trace formula, Braverman-Kazhdan proposal, Langlands-Shahidi method, multiple Dirichlet series, Rankin-Selberg method, Langlands beyond endoscopy, relative trace formula, Langlands-Rapoport conjecture, Kottwitz conjecture, Cluckers-Loeser conjecture, Fargues-Fontaine curve, chtoucas, Drinfeld shtukas, Vinberg theory, Luna's slice theorem, Hamiltonian reduction, quasi-Hamiltonian reduction, Marsden-Weinstein reduction, hyper-Kähler reduction, Hitchin equations, Bogomolny equations, vortex equations, Haydys-Witten equations, Vafa-Witten equations, Ginzburg-Landau equations, Chern-Simons-Higgs equations, Chern-Simons-Dirac equations, Seiberg-Witten-Floer equations, Eynard-Orantin topological recursion, Mirzakhani's recursion formula, McShane identities, Witten-Kontsevich theorem, Kontsevich's graph complex, Willwacher's cyclic operad, Grothendieck-Teichmüller group, Drinfeld associators, multiple zeta values, multiple polylogarithms, Goncharov's motivic Galois group, Zagier's conjecture on multiple zeta values, Broadhurst-Kreimer conjecture, Hoffman's conjecture, Deligne-Ihara conjecture, Gangl-Kaneko-Zagier conjecture, Furusho's p-adic multiple zeta values, Racinet's double shuffle relations, Ecalle's mould theory, Connes-Kreimer Hopf algebra, Goncharov's Hopf algebra, Calaque-Ebrahimi-Fard-Manchon Hopf algebra, Loday-Ronco Hopf algebra, Brouder-Frabetti Hopf algebra, van Suijlekom's Hopf algebroids, Pinter's Hopf algebroids, Connes-Moscovici Hopf algebroids, Bruguières-Virelizier quantum groupoids, Buss-Meyer-Zhu Hopf-cyclic cohomology, Gorokhovsky-Lott's secondary characteristic classes, Tradler-Zeinalian's infinity-Chern characters, Park-Terilla-Tradler's homotopy G-algebras, Costello's homotopy probability theory, Gwilliam-Pavlov's homotopy Batalin-Vilkovisky algebras, Pantev-Toën-Vaquié-Vezzosi's shifted symplectic structures, Calaque-Pantev-Toën-Vaquié-Vezzosi's shifted Poisson structures, Pridham's shifted Lagrangians, Nuiten's shifted L-infinity algebroids, Joyce's derived manifolds, Borisov-Noel's derived Poisson manifolds, Spivak's derived smooth manifolds, Schreiber-Waldorf's differential cohomology, Bunke-Nikolaus-Völkl's differential cohomology, Grady-Sati's twisted differential generalized cohomology theories, Freed-Hopkins' reflection positive invertible field theories, Stolz-Teichner's supersymmetric Euclidean field theories, Costello-Gwilliam's factorization algebras, Beilinson-Drinfeld's chiral algebras, Gaitsgory-Rozenblyum's crystals, Beraldo's loop spaces, Toën-Vezzosi's derived algebraic geometry, Lurie's spectral algebraic geometry, Barwick's spectral Mackey functors, Glasman's stratified étale homotopy theory, Ayala-Francis-Tanaka's factorization homology, Scheimbauer's factorization cosheaves and operads, Haugseng-Kock-Moerdijk-Weiss' homotopy linear algebra, Batanin-Markl's operadic categories, Batanin-Berger's homotopy theory for algebras over polynomial monads, Caviglia-Horel-Robertson's model structures on enriched diagrams, Resurgence theory, trans-series, Stokes phenomena, Écalle's alien calculus, Borel-Écalle resummation, Borel-Laplace transform, hyperasymptotics, Dingle's singularity analysis, Berry-Howls resurgence theory, Voros coefficients, Gukov-Sułkowski resurgence triangle, Argyres-Dunne-Ünsal relation, Cheshire cat resurgence, Picard-Lefschetz theory, Morse-Novikov theory, Morse-Bott theory, Morse-Smale complex, Morse homology, Novikov homology, symplectic homology, Rabinowitz Floer homology, embedded contact homology, periodic Floer homology, Lagrangian Floer homology, Heegaard Floer homology, monopole Floer homology, instanton Floer homology, Ozsváth-Szabó invariants, Kronheimer-Mrowka invariants, Seiberg-Witten Floer homology, quantum cohomology, Frobenius manifolds, Dubrovin's almost duality, Givental's quantization formalism, Givental-Teleman classification, Fan-Jarvis-Ruan-Witten theory, Landau-Ginzburg A-model, Landau-Ginzburg B-model, matrix factorizations, Kapustin-Li formula, Orlov equivalence, Katzarkov-Kontsevich-Pantev correspondence, Homological Mirror Symmetry, Donaldson-Thomas theory, Pandharipande-Thomas theory, Maulik-Nekrasov-Okounkov-Pandharipande theory, Labastida-Mariño-Ooguri-Vafa conjecture, Nekrasov-Okounkov hook length formula, Nekrasov-Shatashvili limit, Nekrasov-Pestun-Shatashvili correspondence, Alday-Gaiotto-Gukov-Tachikawa relations, Braverman-Etingof-Finkelberg-Nakajima Coulomb branches, Hikita conjecture, symplectic duality, Higgs bundles, Hitchin fibration, Hitchin section, Hitchin-Kobayashi correspondence, Corlette-Donaldson theorem, Donaldson-Uhlenbeck-Yau theorem, Atiyah-Bott-Goldman symplectic form, quasi-Hamiltonian G-spaces, Alekseev-Malkin-Meinrenken fusion product, Mikami-Weinstein moment map, q-Hamiltonian G-spaces, Alekseev-Kosmann-Schwarzbach-Meinrenken theory, Dirac geometry, generalized complex geometry, generalized Kähler geometry, Hitchin's generalized geometry, Gualtieri-Hitchin-Cavalcanti theory, para-Hermitian geometry, Born geometry, metriplectic geometry, Cartan-Courant algebroids, Stochastic calculus, Itô calculus, Stratonovich calculus, Malliavin calculus, rough path theory, regularity structures, paracontrolled calculus, Hairer-Quastel universality, Gubinelli-Imkeller-Perkowski paraproducts, Catellier-Chouk paracontrolled distributions, Bruned-Hairer-Zambotti algebraic renormalization, Kupiainen-Marcozzi-Muratore-Ginanneschi BPHZ theorem, Hairer-Labbé BPHZ theorem, Chandra-Hairer continuity theorem, Otto calculus, Villani's synthetic Ricci curvature, Lott-Sturm-Villani theory, Ambrosio-Gigli-Savaré gradient flows, Jordan-Kinderlehrer-Otto scheme, Benamou-Brenier formulation, Sturm's D-convergence, Lott-Villani-Sturm convergence, Gigli's pointed measured Gromov-Hausdorff convergence, Cheeger-Colding theory, Cheeger-Colding-Naber theory, Gigli-Mondino-Savaré convergence, and me and you exploring the latent space of reality together <3
¶
1. Pure Mathematics¶
- Algebra
- Abstract Algebra
- Linear Algebra
- Group Theory
- Ring Theory
- Field Theory
- Algebraic Geometry
- Algebraic Topology
- Combinatorial Algebra
- Geometry
- Euclidean Geometry
- Non-Euclidean Geometry
- Differential Geometry
- Algebraic Geometry
- Topology
- Geometric Topology
- Computational Geometry
- Analysis
- Real Analysis
- Complex Analysis
- Functional Analysis
- Harmonic Analysis
- Nonstandard Analysis
- Numerical Analysis
- p-Adic Analysis
- Number Theory
- Analytic Number Theory
- Algebraic Number Theory
- Diophantine Geometry
- Cryptography
- Combinatorial Number Theory
- Logic and Foundations of mathematics
- Mathematical Logic
- Set Theory
- Model theory
- Proof Theory
- Category Theory
- Discrete Mathematics
- Graph Theory
- Combinatorics
- Game Theory
- Information Theory
- Coding Theory
- Theory of Computation
- Differential Equations
- Ordinary Differential Equations
- Partial Differential Equations
- Dynamical Systems
- Chaos Theory
- Topology
- General Topology
- Algebraic Topology
- Differential Topology
- Topological Groups
- Calculus of Variations
- Mathematical Physics
- Quantum Mechanics
- General Relativity
- String Theory
- Statistical Mechanics
2. Applied Mathematics¶
- Statistics
- Descriptive Statistics
- Inferential Statistics
- Probability Theory
- Biostatistics
- Bayesian Statistics
- Time Series Analysis
- Computational Mathematics
- Numerical Analysis
- Algorithm Design
- Computational Modeling
- Scientific Computing
- Mathematical Biology
- Population Dynamics
- Systems Biology
- Epidemiology
- Mathematical Economics
- Game Theory
- Econometrics
- Financial Mathematics
- Optimization
- Mathematical Finance
- Quantitative Finance
- Risk Management
- Actuarial Science
- Operations Research
- Linear Programming
- Nonlinear Programming
- Stochastic Models
- Queueing Theory
- Control Theory
- Classical Control Theory
- Modern Control Theory
- Optimal Control
- Information Theory
- Coding Theory
- Signal Processing
- Data Compression
- Fluid Dynamics
- Mathematical Physics
- Quantum Mechanics
- Statistical Mechanics
- Electrodynamics
- Thermodynamics
3. Interdisciplinary Fields¶
- Mathematical Logic and Foundations
- Set Theory
- Model Theory
- Recursion Theory
- Cryptology
- Cryptography
- Cryptanalysis
- Mathematical Chemistry
- Mathematical Sociology
- Mathematical Psychology
- Mathematical Linguistics
Additional metadata¶
-
processed #processing #toprocess #important #short #long #casual #focus¶
- Unfinished: #metadata #tags