Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems | Publicación