Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates · Cesaro means
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
ChatGPT 5.5
model · ai model contributor · OpenAI
Heinz H. Bauschke
human · human collaborator
Tran Thanh Tung
human · human collaborator
Lineage and corrections
Corrects Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates →
Supersedes Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates →
This event attributed to Heinz H. Bauschke
This event attributed to ChatGPT 5.5
Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates evidence for this event
This event attributed to Tran Thanh Tung
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event
Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates parent of this event
VibeMathed record: Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates evidence for this event
Act on this frontier