Source authenticated

Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates

VibeMathed recorded: Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: May 25, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates · Cesaro means

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Heinz H. Bauschke
human · human collaborator

Tran Thanh Tung
human · human collaborator

ChatGPT 5.5
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Tran Thanh Tung

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

VibeMathed record: Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates evidence for this event

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

Act on this frontier

Verify, challenge, or extend the result.