OAI/Probability/SphericalField/Heat/TerminalDerivative.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.heatTilt_affine_sub_bound line 23
2. lemma OAI.SphericalPerceptron.heatLog_terminal_quadratic_error line 32
3. lemma OAI.SphericalPerceptron.heatTilt_continuous line 52
4. def OAI.SphericalPerceptron.heatTiltBCF line 56
5. lemma OAI.SphericalPerceptron.heatTiltBCF_apply line 62
6. lemma OAI.SphericalPerceptron.heatTiltBCF_norm_le line 65
7. def OAI.SphericalPerceptron.heatTiltCLM line 68
8. lemma OAI.SphericalPerceptron.heatLogBCF_terminal_quadratic_error line 77
9. lemma OAI.SphericalPerceptron.heatLogBCF_hasFDerivAt line 81
10. def OAI.SphericalPerceptron.shiftBCF line 97