Back openDesk Edu for a sovereign, open-source education — every vote counts.

Cart

Your cart is empty

Looks like you haven't added anything yet

Wishlist

Save products you love by clicking the heart icon.

Modular-forms - Tags - Tobias Weiss

5 articles tagged with “modular-forms”

research

This document reports on formalizing connections between finite Cayley graph spectral theory and modular forms in Lean 4. The session focused on inte

research

[Download Full Paper (PDF, 42 pages)](https://zenodo.org/record/20510032/files/paper.pdf) _This article presents the first systematic machine learni

research

**Published on Zenodo:** [10.5281/zenodo.20479512](https://doi.org/10.5281/zenodo.20479512) This preprint synthesises the complete Riemann Project —

research

[Download Full Paper (PDF, 12 pages)](/downloads/Predicting-L-Function-Properties-from-Trace-Index-Graphs.pdf) _This article synthesizes findings ac

research

**[Download Full Paper (PDF, 12 pages)](/downloads/Predicting-L-Function-Properties-from-Trace-Index-Graphs.pdf)** _This paper is the positive count