OAI/Combinatorics/KMedian/Analysis/
348 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- AnalyticEnvelopes.lean 5 declarations
- BernsteinFalse.lean 29 declarations
- BernsteinTrue.lean 32 declarations
- CertificatePolynomials.lean 27 declarations
- ChargeTransfer.lean 16 declarations
- Coefficients.lean 24 declarations
- ComparisonCertificates.lean 19 declarations
- FiniteAverages.lean 43 declarations
- FiniteComparison.lean 15 declarations
- NormalizedTransfer.lean 13 declarations
- PolynomialBounds.lean 16 declarations
- QuadraticEnvelopes.lean 14 declarations
- RowComparison.lean 22 declarations
- ScalarCertificates.lean 31 declarations
- ScalarTransfer.lean 22 declarations
- TaylorBounds.lean 9 declarations
- TaylorExpansion.lean 11 declarations