OAI/Analysis/LienardCycles/ScaledCoefficients.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.ScaledProfile.root line 20
2. def OAI.QuinticLienard.ScaledProfile.slope line 21
3. def OAI.QuinticLienard.ScaledProfile.curvature line 22
4. def OAI.QuinticLienard.ScaledProfile.third line 24
5. lemma OAI.QuinticLienard.ScaledProfile.third_formula line 25
6. lemma OAI.QuinticLienard.ScaledProfile.epsilon_zero line 31
7. lemma OAI.QuinticLienard.ScaledProfile.rho_zero_epsilon line 35
8. lemma OAI.QuinticLienard.ScaledProfile.epsilon_cubic line 42
9. def OAI.QuinticLienard.ScaledProfile.fitSlope line 49
10. def OAI.QuinticLienard.ScaledProfile.fitCurvature line 50
11. lemma OAI.QuinticLienard.ScaledProfile.fitSlope_analytic line 51
12. lemma OAI.QuinticLienard.ScaledProfile.fitCurvature_analytic line 54
13. lemma OAI.QuinticLienard.ScaledProfile.fit_epsilon_zero line 57
14. lemma OAI.QuinticLienard.ScaledProfile.fit_cubic line 65