A formalisation of Gallagher's ergodic theorem

From MaRDI portal

Publication:6425088

Jump to:navigation, search

arXiv2302.00448MaRDI QIDQ6425088

Oliver Nash

Publication date: 1 February 2023

Mathematics Subject Classification ID

Metric theory (11J83) Diophantine approximation in probabilistic number theory (11K60)

This page was built for publication: A formalisation of Gallagher's ergodic theorem

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6425088&oldid=36096149"