mpfr 2 T>T: FROST II, Certified Hartree–Fock from Neon to Xenon Nov 2, 2026 T>T: High-Precision Eigenvalue Computations Made Efficient in C++ Nov 3, 2023