OAI/Analysis/LienardCycles/GlobalFit.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.QuinticLienard.QuadraticFit.label_model_slope line 21
  2. lemma OAI.QuinticLienard.QuadraticFit.label_L_eq line 29
  3. lemma OAI.QuinticLienard.QuadraticFit.slope_reflection line 34
  4. lemma OAI.QuinticLienard.QuadraticFit.Hr_reflection line 39
  5. lemma OAI.QuinticLienard.QuadraticFit.conditionalV_reflection line 45
  6. lemma OAI.QuinticLienard.QuadraticFit.conditionalV_gt line 50
  7. lemma OAI.QuinticLienard.QuadraticFit.conditionalV_lt line 60
  8. lemma OAI.QuinticLienard.QuadraticFit.conditionalV_exists line 69
  9. def OAI.QuinticLienard.QuadraticFit.fitK line 82
  10. def OAI.QuinticLienard.QuadraticFit.fitD line 85
  11. lemma OAI.QuinticLienard.QuadraticFit.fitK_spec line 87
  12. lemma OAI.QuinticLienard.QuadraticFit.fit_spec line 92
  13. lemma OAI.QuinticLienard.QuadraticFit.fitK_eq line 96
  14. lemma OAI.QuinticLienard.QuadraticFit.fit_unique line 99
  15. lemma OAI.QuinticLienard.QuadraticFit.fitK_analytic line 109
  16. lemma OAI.QuinticLienard.QuadraticFit.fitD_analytic line 128