OAI/Probability/SphericalField/Heat/MovingParameters.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.heatLogBCF_moving_hasDerivAt line 23
2. lemma OAI.SphericalPerceptron.heatTiltBCF_hasDerivAt line 75
3. def OAI.SphericalPerceptron.BoundedC1 line 106
4. lemma OAI.SphericalPerceptron.BoundedC1.zero line 108
5. lemma OAI.SphericalPerceptron.BoundedC1.add line 110
6. lemma OAI.SphericalPerceptron.BoundedC1.smul line 116
7. lemma OAI.SphericalPerceptron.BoundedC1.heatTilt line 121
8. lemma OAI.SphericalPerceptron.heatGenerator_boundedC1 line 127
9. structure OAI.SphericalPerceptron.HeatIntervalParam line 130
10. def OAI.SphericalPerceptron.parametricHeatJet line 135
11. def OAI.SphericalPerceptron.parametricHeatVelocity line 139
12. lemma OAI.SphericalPerceptron.parametricHeatVelocity_boundedC1 line 145
13. lemma OAI.SphericalPerceptron.parametricHeatJet_hasDerivAt line 153