Forward and backward error bounds for a mixed precision preconditioned conjugate gradient algorithm. - Thomas Bake; Erin Carson; Yuxin Ma (CoRR, 2025)