Formalization of a generalized Carleson's theorem

Becker, Lars, de Frutos - Fernández, María Inés, Diedering, Leo, van Doorn, Floris, Gouëzel, Sébastien, Karunus, Evgenia, van de Meent, Edward, Monticone, Pietro, Mulder-Sohn, Jasper, Portegies, Jim, Roos, Joris, Rothgang, Michael, Sundstrom, James, Tan, Jeremy

Open source

DOI
10.5281/zenodo.22959107
Published
2026
Container
Not recorded
Publisher
Zenodo
Open access
no

Credibility signals

limited evidence Score 45/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.5281/zenodo.22959107,
  title = {Formalization of a generalized Carleson's theorem},
  author = {Becker, Lars and de Frutos - Fernández, María Inés and Diedering, Leo and van Doorn, Floris and Gouëzel, Sébastien and Karunus, Evgenia and van de Meent, Edward and Monticone, Pietro and Mulder-Sohn, Jasper and Portegies, Jim and Roos, Joris and Rothgang, Michael and Sundstrom, James and Tan, Jeremy},
  year = {2026},
  doi = {10.5281/zenodo.22959107},
  url = {https://doi.org/10.5281/zenodo.22959107}
}

RIS

TY  - JOUR
TI  - Formalization of a generalized Carleson's theorem
AU  - Becker, Lars
AU  - de Frutos - Fernández, María Inés
AU  - Diedering, Leo
AU  - van Doorn, Floris
AU  - Gouëzel, Sébastien
AU  - Karunus, Evgenia
AU  - van de Meent, Edward
AU  - Monticone, Pietro
AU  - Mulder-Sohn, Jasper
AU  - Portegies, Jim
AU  - Roos, Joris
AU  - Rothgang, Michael
AU  - Sundstrom, James
AU  - Tan, Jeremy
PY  - 2026
DO  - 10.5281/zenodo.22959107
UR  - https://doi.org/10.5281/zenodo.22959107
ER  - 

APA

Lars, B., Inés, D. F. -. F. M., Leo, D., Floris, V. D., Sébastien, G., Evgenia, K., Edward, V. D. M., Pietro, M., Jasper, M., Jim, P., Joris, R., Michael, R., James, S., & Jeremy, T. (2026). Formalization of a generalized Carleson's theorem. https://doi.org/10.5281/zenodo.22959107

Source records