Map · 41
approximation theory
MSC 41 · Approximations and expansions
752 declarations (713 theorems, 39 definitions) across 10 files. 0 of the 1 famous theorems listed for this area are in Mathlib (0%). 3 open conjectures here are stated in Lean.
Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.
Subareas1
- 41A Approximations and expansions 752
Famous theorems0 of 1
From the 1000+ theorems project, which classifies each theorem by MSC area.
Not yet in Mathlib · 1
Open conjectures stated in Lean3
Statements without proofs, collected by the Formal Conjectures project.
Files10
Largest first. The code after each file is its assigned subarea.
- Mathlib.Analysis.Asymptotics.Defs
Asymptotics
41A · 336
- Mathlib.Analysis.Asymptotics.Lemmas
Further basic lemmas about asymptotics
41A · 127
- Mathlib.Analysis.Asymptotics.LinearGrowth
Linear growth
41A · 71
- Mathlib.Analysis.Asymptotics.ExpGrowth
Exponential growth
41A · 69
- Mathlib.Analysis.Asymptotics.AsymptoticEquivalent
Asymptotic equivalence
41A · 68
- Mathlib.Analysis.Asymptotics.SuperpolynomialDecay
Super-Polynomial Function Decay
41A · 35
- Mathlib.Analysis.Asymptotics.SpecificAsymptotics
A collection of specific asymptotic results
41A · 20
- Mathlib.Analysis.SpecialFunctions.Bernstein
Bernstein approximations and Weierstrass' theorem
41A · 15
- Mathlib.Analysis.Asymptotics.Completion
Asymptotics in the completion of a normed space
41A · 6
- Mathlib.Topology.ContinuousMap.Weierstrass
The Weierstrass approximation theorem for continuous functions on `[a,b]`
41A · 5