Trough

Further improvement to exponent

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - PNT+
  - Polynomial Freiman-Ruzsa
    
    Polynomial Freiman-Ruzsa
    
    Applications of Jensen's inequality
    
    Shannon entropy inequalities
    
    Entropic Ruzsa calculus
    
    The 100% version of PFR
    
    The Fibring lemma
    
    Entropy version of PFR
    
    Proof of PFR
    
    Improving the exponents
    
    Homomorphism version of PFR
    
    Approximate homomorphism version of PFR
    
    Weak PFR over the integers
    
    The m-torsion case
    
    Further improvement to exponent
    
    Further improvement to exponent
    
    Kullback–Leibler divergence
    
    Rho functionals
    
    Studying a minimizer
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
Polynomial Freiman-Ruzsa
Further improvement to exponent

Loading the map…

← Further improvement to exponent

Further improvement to exponent

Kullback–Leibler divergence
Rho functionals
Studying a minimizer

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.