pith. machine review for the scientific record. sign in

Cost

Reciprocal-symmetric cost. Uniqueness of J(x) = ½(x + x⁻¹) − 1, convexity, the Aczél class, and the d'Alembert factorization.

34 modules · 315 thm/lemma · 6029 lines
module thm lemma def lines papers
Cost 21 27 6 649 274
Cost.AczelClass 1 0 0 57
Cost.AczelClassification 7 0 1 124
Cost.AczelProof 7 7 1 415
Cost.AczelTheorem 10 7 2 465
Cost.Calibration 3 5 0 69
Cost.CauchyAuxiliary 4 0 3 150
Cost.ClassicalResults 9 2 0 159
Cost.ContDiffReduction 7 3 0 248
Cost.Convexity 5 7 2 160 5
Cost.Derivative 3 5 2 141
Cost.FixedPoint 0 1 0 13
Cost.FlogEL 1 9 2 88
Cost.FrequencyLadder 5 0 3 104
Cost.FunctionalEquation 28 18 16 1139 6918
Cost.FunctionalEquationAczel 7 0 0 238
Cost.JcostCore 1 10 4 307 18
Cost.JensenSketch 0 0 0 26
Cost.Jlog 1 6 1 62
Cost.Ndim.Bridge 4 0 3 65
Cost.Ndim.Calibration 4 0 3 66
Cost.Ndim.Connections 5 0 4 82
Cost.Ndim.Core 11 0 8 141
Cost.Ndim.DAlembert 1 1 0 62
Cost.Ndim.Hessian 7 0 7 120
Cost.Ndim.Metric 2 0 1 31
Cost.Ndim.Neutrality 3 0 0 39
Cost.Ndim.Octave 1 0 2 32
Cost.Ndim.Projector 21 0 7 311
Cost.Ndim.RadicalDistribution 11 0 3 136
Cost.Ndim.RicciScalar 5 0 3 96
Cost.Ndim.Symmetry 2 0 1 34
Cost.Ndim.Uniqueness 2 0 1 46
Cost.Ndim.XCoordinates 8 0 6 154

full source mirrored from github.com/jonwashburn/shape-of-logic