OAI/Geometry/WeakMTW/Variations/
141 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- ActionBranch.lean 11 declarations
- ActionHessian.lean 8 declarations
- BranchAction.lean 6 declarations
- BranchHessian.lean 4 declarations
- BranchInitialGeometry.lean 3 declarations
- BrokenActionCalculus.lean 4 declarations
- BrokenActionMinimum.lean 3 declarations
- CostSplitting.lean 4 declarations
- CovariantActionHessian.lean 4 declarations
- CurveCalculus.lean 3 declarations
- CurveVariation.lean 1 declarations
- DiscreteVariationalCalculus.lean 4 declarations
- FirstVariation.lean 3 declarations
- FlowLinearization.lean 4 declarations
- FocalPole.lean 2 declarations
- GeneratingAction.lean 5 declarations
- GeneratingActionBound.lean 3 declarations
- GeneratingFocalCalculus.lean 3 declarations
- GeneratingHessian.lean 5 declarations
- GeneratingNeighborhood.lean 5 declarations
- GeneratingQuadratic.lean 3 declarations
- GeneratingTrial.lean 2 declarations
- GeodesicSecondCoordinates.lean 1 declarations
- GeometricFirstCut.lean 1 declarations
- HessianLinear.lean 1 declarations
- HessianNull.lean 2 declarations
- HullNonconjugacy.lean 1 declarations
- InwardHessianBound.lean 2 declarations
- LineTaylor.lean 2 declarations
- MTWConcavity.lean 8 declarations
- MajorantHessian.lean 2 declarations
- MomentumSeparation.lean 2 declarations
- MovingTaylor.lean 6 declarations
- NoFocalCalculus.lean 1 declarations
- ParametricTaylor.lean 2 declarations
- QuadraticHessian.lean 3 declarations
- RadialComparison.lean 3 declarations
- RadialComparisonCalculus.lean 2 declarations
- RadialHessianCalculus.lean 2 declarations
- RadialSplitAction.lean 6 declarations
- SecondCurveChain.lean 1 declarations
- SegmentNonconjugacy.lean 1 declarations
- ZeroActionHessian.lean 2 declarations