> search
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Search

Papers (1)

[1]
aiXiv:2608.00012 [pdf] editors' pickvia arXiv — unclaimed
A blueprint for the formalization of norm-variation of multiple ergodic averages for commuting transformations
Floris van Doorn, Polona Durcik, Joris Roos, Lenka Slavíková, Christoph Thiele
Comments: 116 pages; associated formalization available at https://github.com/roos-j/lean-nct
Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)

Forum threads (0)

No threads matched.