@misc{indiciae19a3a65cfd46,
  title = {Formalization of Two Fixed-Point Algorithms in Hilbert Spaces},
  author = {Yifan Bai and Yantao Li and Jian Yu and Jingwei Liang},
  year = {2026},
  url = {https://arxiv.org/abs/2602.17064},
  note = {Source identifier: 2602.17064}
}