arXiv · 2610.17349
Higher derivatives of the Gram function
Abstract
We study the nonlinear phenomenon of the asymptotics of higher-order derivatives of the Gram function $t_u$. We also prove the uniform distribution and continuous uniform distribution modulo one of $t^n_u$ for $n = 1, 2, \dots$. We use AI to formalize our proofs in Lean.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Marius Dundulis, Ramūnas Garunkštis, Antanas Laurinčikas, Raivydas Šimėnas. 2026-10-12. Higher derivatives of the Gram function. https://arxiv.org/abs/2610.17349
Cite the original work for its findings. Save a collection to share your selection of sources.