OAI/Analysis/PathSelection/
986 declarations, 0 contain sorry, 0 declared as axioms; 58 files
Files
- AdmissibleFunctions.lean 36 declarations
- AnalyticCharts.lean 12 declarations
- AnalyticFactors.lean 8 declarations
- ClockAlgebra.lean 32 declarations
- ClockComposition.lean 17 declarations
- ClockDerivatives.lean 11 declarations
- ClockExpansions.lean 29 declarations
- ClockInverses.lean 20 declarations
- CoefficientFields.lean 17 declarations
- CompactProfiles.lean 11 declarations
- ContourDivision.lean 30 declarations
- ContourPolynomials.lean 9 declarations
- ContourPreparation.lean 33 declarations
- DerivativeEstimates.lean 3 declarations
- EqualExponentCharts.lean 9 declarations
- ExpansionAlgebra.lean 22 declarations
- ExponentSupports.lean 25 declarations
- ExponentialCharts.lean 13 declarations
- FilteredExpansions.lean 23 declarations
- FirstLevelCharts.lean 14 declarations
- FunctionSeries.lean 13 declarations
- IdentityDetection.lean 9 declarations
- InverseAsymptotics.lean 9 declarations
- InverseEstimates.lean 10 declarations
- JointPreparation.lean 12 declarations
- LossPullbacks.lean 19 declarations
- LowerRatios.lean 18 declarations
- Main.lean 5 imports, no declarations
- MonicFamilies.lean 9 declarations
- ParameterIntegrals.lean 9 declarations
- PathMonotonicity.lean 2 declarations
- PerturbativeInverses.lean 16 declarations
- PhaseSectors.lean 15 declarations
- PositiveCharts.lean 12 declarations
- PreparationLimits.lean 16 declarations
- PreparationStability.lean 6 declarations
- PuiseuxCalculus.lean 31 declarations
- PuiseuxInverses.lean 21 declarations
- RealClocks.lean 18 declarations
- RealInverses.lean 11 declarations
- RecursiveCharts.lean 15 declarations
- RecursiveClocks.lean 33 declarations
- RelativeErrors.lean 12 declarations
- RelativeStrips.lean 16 declarations
- RootClusters.lean 6 declarations
- RootLimits.lean 11 declarations
- ScalarFields.lean 54 declarations
- ScalarRoots.lean 19 declarations
- SecondClockFields.lean 17 declarations
- SectorBounds.lean 25 declarations
- SectorFamilies.lean 6 declarations
- SectorInduction.lean 20 declarations
- SectorLimits.lean 26 declarations
- SectorPolynomials.lean 10 declarations
- SectorUniqueness.lean 31 declarations
- TaylorCutoffs.lean 27 declarations
- TupleTaylor.lean 6 declarations
- UniformFamilies.lean 22 declarations