Registry · Definition
V.D55
tau-effective
formalized
V.D55 — tau-NF Einstein iteration
The tau-NF Einstein iteration is the sequence {chi_n} in H_partial[omega] starting from the linearized solution chi_{n_0}, with update chi_{n+1} = NF_omega(chi_n - lambda_n * Delta(chi_n)). The iteration terminates at depth n* when Delta(chi_{n*}) = 0 exactly.
Book V
Part 2
Ch. 15