activity
20232026
most citedAutomated Ring-Diagram Framework for Classifying CP Invariants

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2026

Formalization of Two Fixed-Point Algorithms in Hilbert Spaces

Yifan Bai, Yantao Li, Jian Yu +1

Iterative algorithms are fundamental tools for approximating fixed-points of nonexpansive operators in real Hilbert spaces. Among them, Krasnosel'ski\uı--Mann iteration and Halpern…