Lanczos with compression for symmetric matrix Lyapunov equations. - Angelo A. Casulli; Francesco Hrobat; Daniel Kressner (CoRR, 2025)