Formula comparisons with the literature

The literature comparisons below concern stated formulas and translated conventions. They do not assert an exhaustive priority search or verification of an entire paper. The source access grades are defined in Section sec:evidence.