OAI/Analysis/LienardCycles/
1352 declarations, 0 contain sorry, 0 declared as axioms; 146 files
Files
- ActualCharacteristic.lean 36 declarations
- ActualError.lean 15 declarations
- ActualFitLimits.lean 2 declarations
- ActualFitTransport.lean 20 declarations
- ActualReflection.lean 11 declarations
- ActualSlopeComparison.lean 7 declarations
- ActualSmallWidth.lean 3 declarations
- AlgebraicFlow.lean 10 declarations
- AlgebraicNotation.lean 31 declarations
- AngleBounds.lean 4 declarations
- ArcEndpoints.lean 5 declarations
- ArcFamilies.lean 3 declarations
- ArchSymmetries.lean 10 declarations
- ArchVariation.lean 7 declarations
- AxisBranches.lean 12 declarations
- AxisCases.lean 6 declarations
- AxisComparison.lean 7 declarations
- AxisFit.lean 6 declarations
- AxisIntercept.lean 8 declarations
- AxisLimits.lean 9 declarations
- AxisReflection.lean 8 declarations
- AxisRegularity.lean 15 declarations
- AxisSecants.lean 16 declarations
- AxisWidthGerm.lean 7 declarations
- AxisWidthRegularity.lean 10 declarations
- AxisZeroCount.lean 1 declarations
- AxisZeros.lean 11 declarations
- BaseLimits.lean 8 declarations
- BaseSymmetry.lean 1 declarations
- BaseTransport.lean 1 declarations
- BoundaryFlow.lean 14 declarations
- BoundaryGerm.lean 1 declarations
- CanonicalAnalytic.lean 1 declarations
- CanonicalVariation.lean 5 declarations
- CaseOne.lean 5 declarations
- Characteristic.lean 28 declarations
- CharacteristicJets.lean 19 declarations
- CharacteristicLimit.lean 1 declarations
- CharacteristicPositive.lean 1 declarations
- CharacteristicScaling.lean 8 declarations
- CharacteristicSigns.lean 6 declarations
- ClosedCutoff.lean 3 declarations
- CoefficientCases.lean 21 declarations
- ConditionalFit.lean 15 declarations
- CubicVariation.lean 4 declarations
- CurvatureComparison.lean 13 declarations
- CurvatureJets.lean 19 declarations
- CurvaturePositive.lean 10 declarations
- CurvatureRange.lean 8 declarations
- CurvatureTransport.lean 18 declarations
- CycleIsolation.lean 2 declarations
- CycleSection.lean 6 declarations
- CycleTransform.lean 7 declarations
- EndpointAlgebra.lean 15 declarations
- EndpointComparison.lean 2 declarations
- EndpointJets.lean 23 declarations
- EndpointScaling.lean 8 declarations
- EndpointSigns.lean 5 declarations
- ExcursionAxis.lean 4 declarations
- ExcursionGraph.lean 4 declarations
- ExcursionSigns.lean 5 declarations
- FiberQuotient.lean 1 declarations
- FiniteFlow.lean 1 declarations
- FitAngles.lean 13 declarations
- FitProperness.lean 22 declarations
- FitSmall.lean 6 declarations
- FixedSlopeLimit.lean 2 declarations
- FixedWidthFamilies.lean 2 declarations
- GlobalFit.lean 16 declarations
- GlobalODE.lean 14 declarations
- HeightLimits.lean 10 declarations
- HeightSigns.lean 5 declarations
- HyperbolicCoordinate.lean 6 declarations
- Intercept.lean 10 declarations
- IntervalInverse.lean 1 declarations
- LocalExcursion.lean 2 declarations
- Main.lean 1 declarations
- MixedDerivatives.lean 2 declarations
- Model.lean 5 declarations
- ModelAlgebra.lean 28 declarations
- ModelEndpoint.lean 10 declarations
- ModelScaling.lean 3 declarations
- MonotoneIntegral.lean 2 declarations
- OpenArch.lean 6 declarations
- OpenArchAxis.lean 1 declarations
- OriginalProfile.lean 8 declarations
- OvalMatching.lean 3 declarations
- ParameterVariation.lean 3 declarations
- PartialCalculus.lean 16 declarations
- PeriodicBasics.lean 12 declarations
- PeriodicMatching.lean 4 declarations
- PeriodicOval.lean 3 declarations
- PeriodicSymmetry.lean 12 declarations
- PhysicalFlow.lean 2 declarations
- PolynomialModel.lean 10 declarations
- PositiveArcs.lean 4 declarations
- PositiveBase.lean 10 declarations
- PositiveCanonical.lean 1 declarations
- PositiveEndpoints.lean 1 declarations
- PositiveFit.lean 14 declarations
- PositiveParabolic.lean 3 declarations
- PositiveScaling.lean 2 declarations
- PositiveSymmetries.lean 4 declarations
- PositiveTransport.lean 14 declarations
- PositiveVariation.lean 7 declarations
- PositiveWidth.lean 21 declarations
- PositiveZero.lean 2 declarations
- ProfileComparison.lean 2 declarations
- ProfileDerivatives.lean 12 declarations
- QuadraticCoordinates.lean 24 declarations
- QuadraticDerivatives.lean 35 declarations
- QuadraticFit.lean 8 declarations
- QuadraticSlices.lean 18 declarations
- QuadraticVariation.lean 6 declarations
- QuadraticZero.lean 3 declarations
- RadiusLimits.lean 8 declarations
- RadiusSigns.lean 3 declarations
- RealAnalysis.lean 7 declarations
- RegionBarrier.lean 3 declarations
- ReturnMatching.lean 2 declarations
- ReturnNeighborhood.lean 5 declarations
- Riccati.lean 8 declarations
- RiccatiComparison.lean 5 declarations
- RiccatiDerivatives.lean 9 declarations
- RiccatiJets.lean 6 declarations
- ScalarArcs.lean 23 declarations
- ScalarComparison.lean 5 declarations
- ScaledActual.lean 13 declarations
- ScaledAlgebraic.lean 36 declarations
- ScaledCoefficients.lean 14 declarations
- ScaledDerivative.lean 8 declarations
- ScaledExpansion.lean 15 declarations
- Schwarzian.lean 14 declarations
- SchwarzianScaling.lean 6 declarations
- SecantIntegral.lean 2 declarations
- SharpCycles.lean 8 declarations
- SharpFlow.lean 23 declarations
- SharpPhysical.lean 13 declarations
- SharpReturn.lean 10 declarations
- SmoothFlow.lean 48 declarations
- SqrtPaths.lean 4 declarations
- StableExcursion.lean 2 declarations
- UpperAssembly.lean 6 declarations
- WidthCoordinates.lean 26 declarations
- WidthTransport.lean 15 declarations
- ZeroVariation.lean 1 declarations