OAI/Analysis/Triangular/Auxiliary/Bernstein.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Bernstein.bernsteinBasis line 10
2. lemma OAI.AtomicTriangular.Bernstein.bernsteinBasis_sum line 13
3. lemma OAI.AtomicTriangular.Bernstein.bernsteinBasis_nonneg line 24
4. lemma OAI.AtomicTriangular.Bernstein.choose_ratio line 29
5. lemma OAI.AtomicTriangular.Bernstein.bernstein_monomial line 40
6. def OAI.AtomicTriangular.Bernstein.bernsteinCoefficient line 74
7. lemma OAI.AtomicTriangular.Bernstein.bernstein_polynomial line 77
8. lemma OAI.AtomicTriangular.Bernstein.bernstein_polynomial_lower line 94
9. lemma OAI.AtomicTriangular.Bernstein.strict_bernstein_bound line 107