OP-00082 Lean verified The exact four-step amplification of restarted Anderson acceleration NA · Anderson acceleration · convergence factors · fixed-point iterations · OpenProblemsInNLA