Created on February 19, 2026
2026
A new preprint “Formalization of Two Fixed-Point Algorithms in Hilbert Spaces” is now online.