Subjects

The 54 manuscripts fall under 16 subjects in mathematics, mathematical physics and theoretical computer science. Each subject page states every result in it, with links to the manuscript, the Lean proof and the verification steps.

Mathematics

Discrete analysis, tilings, probability and entropy7 results · Probability and normal approximation; Discrete analysis; Entropy and conditional independence; Probability and combinatorics; Additive combinatorics and entropy; Spectral sets and tilings
Optimization6 results · Convex optimization; Optimization
Valuation theory1 result · Valuation theory
Matrix theory7 results · Matrix theory
Matroid theory1 result · Matroid theory
Graph theory and graph polynomials9 results · Graph theory; Extremal hypergraph theory; Graph polynomials; Graph theory and matrix analysis
Integer sequences and combinatorics5 results · Integer sequences and combinatorics; Integer sequences
Finite geometry1 result · Finite geometry
Quadratic forms and number theory1 result · Quadratic forms and number theory
Inequalities and real analysis1 result · Inequalities and real analysis

Mathematical physics

Quantum information8 results · Quantum information
Stochastic thermodynamics2 results · Stochastic thermodynamics

Theoretical computer science

Sampling algorithms and information theory2 results · Sampling algorithms and spectral independence; Sampling algorithms and information theory
Boolean functions and decision trees1 result · Boolean functions and decision trees
Proof complexity1 result · Proof complexity
Fair division1 result · Fair division