> list > math.CA
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Classical Analysis and ODEs (math.CA)

1 paper · newest first · all subjects · RSS

Thu, 27 Aug 2026
[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)