OAI/Probability/SphericalField/Perceptron/Model.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SphericalPerceptron.BrownianPath line 13
  2. instance OAI.SphericalPerceptron.(instance at line 15) line 15
  3. instance OAI.SphericalPerceptron.(instance at line 16) line 16
  4. def OAI.SphericalPerceptron.patternCount line 18
  5. abbrev OAI.SphericalPerceptron.Patterns line 19
  6. def OAI.SphericalPerceptron.patternLaw line 21
  7. def OAI.SphericalPerceptron.sphereLaw line 24
  8. def OAI.SphericalPerceptron.patternField line 27
  9. def OAI.SphericalPerceptron.hamiltonian line 31
  10. def OAI.SphericalPerceptron.pressure line 35
  11. def OAI.SphericalPerceptron.expectedPressure line 38
  12. def OAI.SphericalPerceptron.brownianEval line 41
  13. def OAI.SphericalPerceptron.nullSigma line 43
  14. def OAI.SphericalPerceptron.usualBrownianSigma line 46
  15. def OAI.SphericalPerceptron.Progressive line 52
  16. def OAI.SphericalPerceptron.controlCost line 58
  17. def OAI.SphericalPerceptron.controlPayoff line 62
  18. def OAI.SphericalPerceptron.controlValue line 67
  19. def OAI.SphericalPerceptron.variationalValue line 71