Trough

Analysis

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - Formal Frontier
    
    Formal Frontier
    
    Commutative algebra
    
    Ring theory
    
    Algebraic geometry
    
    Number theory
    
    Group theory
    
    Homological algebra and category theory
    
    Topology
    
    Analysis
    
    Analysis
    
    Complex analysis
    
    Sequence growth
  - Coverage
  - Sources

Home
Trough
Formal Frontier
Analysis

Loading the map…

Analysis

The Formal Frontier libraries on analysis, one section each.

Complex analysis
Sequence growth

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.