Tag
A recommendation for free class notes on computational mathematics (numerical analysis) by De Sterck and Ullrich, made publicly available by UC Davis, covering error propagation, root finding, interpolation, integration, Fourier methods, and numerical linear algebra.
This paper presents an agent pipeline for formalizing a numerical analysis textbook in Lean 4 and introduces a quality audit framework that evaluates semantic correctness and library reuse beyond kernel acceptance, revealing common unfaithful formalization patterns.