Formalization of Two Fixed-Point Algorithms in Hilbert Spaces

MaRDI QIDQ7218651arXivFDO

Authors Yifan Bai, Yantao Li, Jian Yu, Jingwei Liang

Publication date 2026

Published in arXiv

arXiv classification

math.OC

This page was built for publication: Formalization of Two Fixed-Point Algorithms in Hilbert Spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7218651)