Registry · Proposition
IV.P242
tau-effective
not_formalized
IV.P242 — Route A Accuracy
Numerical evaluation with iota_tau = 0.341304: equation 815 iota_tau^4 = 0.5333 0.013564
Book IV
Part 1
Ch. 10
Numerical evaluation with iota_tau = 0.341304: equation 815 iota_tau^4 = 0.5333 0.013564