OAI/NumberTheory/Catalan/Estimates/
2449 declarations, 0 contain sorry, 0 declared as axioms; 121 files
Files
- BlaschkeComplex.lean 8 declarations
- BlaschkeEndpointGeometry.lean 6 declarations
- BlaschkeScalar.lean 6 declarations
- BlaschkeUniformInterpolation.lean 79 declarations
- BoundaryFormulas.lean 9 declarations
- CauchyKernel.lean 28 declarations
- CauchyNumerics.lean 3 declarations
- ChebyshevContact.lean 13 declarations
- Contract.lean 3 declarations
- DistinctIndexSums.lean 4 declarations
- ExceptionalScalarBounds.lean 17 declarations
- FixedCanonicalBaseModAll.lean 1 declarations
- FixedCompactReversedT0To7.lean 58 declarations
- FixedCompactReversedT16To23.lean 40 declarations
- FixedCompactReversedT24To31.lean 40 declarations
- FixedCompactReversedT32To39.lean 40 declarations
- FixedCompactReversedT40To44.lean 25 declarations
- FixedCompactReversedT8To15.lean 40 declarations
- FixedCompactReversedU0To7.lean 40 declarations
- FixedCompactReversedU16To23.lean 40 declarations
- FixedCompactReversedU24To31.lean 40 declarations
- FixedCompactReversedU32To39.lean 40 declarations
- FixedCompactReversedU40To43.lean 20 declarations
- FixedCompactReversedU8To15.lean 40 declarations
- FixedTypedChebyshevT39To41.lean 49 declarations
- FixedTypedChebyshevTData.lean 45 declarations
- FixedTypedChebyshevU18To23.lean 24 declarations
- FixedTypedChebyshevUData.lean 44 declarations
- IrrationalityAlias.lean 1 declarations
- ManuscriptAllFiftyPointPrecision.lean 20 declarations
- ManuscriptCaseOneX4PointRounding.lean 81 declarations
- ManuscriptCaseOneX4Substitute.lean 3 declarations
- ManuscriptCaseOneX4SubstitutionError.lean 1 declarations
- ManuscriptCaseOneX5SubstitutionError.lean 6 declarations
- ManuscriptCaseOneX6SubstitutionError.lean 6 declarations
- ManuscriptCaseOneX7SubstitutionError.lean 6 declarations
- ManuscriptCaseOneXAllPrecision.lean 42 declarations
- ManuscriptCaseOneY0PointRounding.lean 44 declarations
- ManuscriptCaseOneY0SubstitutionError.lean 1 declarations
- ManuscriptCaseOneY1PointRounding.lean 2 declarations
- ManuscriptCaseOneY1SubstitutionError.lean 1 declarations
- ManuscriptCaseOneY2PointRounding.lean 2 declarations
- ManuscriptCaseOneY2SubstitutionError.lean 1 declarations
- ManuscriptCaseOneY3PointRounding.lean 2 declarations
- ManuscriptCaseOneY3SubstitutionError.lean 1 declarations
- ManuscriptCaseOneY4PointRounding.lean 2 declarations
- ManuscriptCaseOneY4SubstitutionError.lean 1 declarations
- ManuscriptCaseTwoNormAddedRounding.lean 7 declarations
- ManuscriptCaseTwoNormSubstitutionError.lean 41 declarations
- ManuscriptCaseTwoX0SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX10SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX11SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX12SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX13SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX14SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX15SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX16SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX17SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX18SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX1SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX2SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX3SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX4SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX5SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX6SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX7SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoX8SubstitutionError.lean 17 declarations
- ManuscriptCaseTwoY0SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY10SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY11SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY12SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY13SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY14SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY15SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY16SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY17SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY1SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY2SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY3SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY4SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY5SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY6SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY7SubstitutionError.lean 16 declarations
- ManuscriptCaseTwoY8PointRounding.lean 2 declarations
- ManuscriptCaseTwoY8SubstitutionError.lean 1 declarations
- ManuscriptCaseTwoY9PointRounding.lean 2 declarations
- ManuscriptCaseTwoY9SubstitutionError.lean 1 declarations
- ManuscriptCaseTwoYAllPrecision.lean 28 declarations
- ManuscriptEnergyLimits.lean 19 declarations
- ManuscriptSharpDerivativeBounds.lean 14 declarations
- ManuscriptTermRounding.lean 4 declarations
- MixedMajorant.lean 4 declarations
- MixedOneStart.lean 12 declarations
- MomentEvaluation.lean 11 declarations
- MomentFilter.lean 24 declarations
- OddLowerPairPool.lean 75 declarations
- OddPhysicalCombination.lean 3 declarations
- PalindromicBlockInverse.lean 69 declarations
- PalindromicExtractedEntries.lean 17 declarations
- PalindromicReversalMultiplicities.lean 144 declarations
- PalindromicStarParameters.lean 53 declarations
- RealCauchyStep.lean 3 declarations
- RealCoordinateProduct.lean 23 declarations
- RealEnergyChebyshev.lean 16 declarations
- RealEnergyDampedDual.lean 34 declarations
- RealEnergyDiagonal.lean 50 declarations
- RealEnergyDiagonalSums.lean 7 declarations
- RealEnergyMajorantExponential.lean 3 declarations
- RealEnergySupDual.lean 52 declarations
- RealEnergyTrialDamping.lean 14 declarations
- RealEnergyTwoProduct.lean 21 declarations
- RealHadamard.lean 1 declarations
- RealPermutationAlgebra.lean 5 declarations
- RealProjectiveVandermonde.lean 6 declarations
- RealWeightedVandermonde.lean 3 declarations
- ScalarMomentDecay.lean 15 declarations
- TwoAdicConvolution.lean 3 declarations
- TwoAdicQuadratic.lean 37 declarations
- TwoAdicSelectorExponent.lean 5 declarations
- TwoAdicSmoothingDecomposition.lean 31 declarations
- UnconvolvedVectorBounds.lean 2 declarations