Tag
PHP and Lua's log function can produce non-monotonic results due to using different algorithms for base 10 (log10) and other bases (ln), leading to counterintuitive behavior where a larger base yields a larger logarithm.
FPTalks 2026 is a free online conference on August 6, 2026, featuring talks on floating-point arithmetic, numerical algorithms, and hardware number representations from researchers at leading institutions.
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.