OAI/Analysis/LienardCycles/FitSmall.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.QuadraticCoordinates.Hr_zero line 20
2. lemma OAI.QuinticLienard.QuadraticCoordinates.R_zero line 24
3. lemma OAI.QuinticLienard.QuadraticCoordinates.S_zero line 30
4. lemma OAI.QuinticLienard.QuadraticCoordinates.fderiv_Hr line 36
5. lemma OAI.QuinticLienard.QuadraticFit.fit_zero line 47
6. lemma OAI.QuinticLienard.QuadraticFit.fit_direction_zero line 49