2 papers
cs.LO2026
Determination of the fifth Busy Beaver value
The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs +17
The Busy Beaver value is the maximum number of steps that an -state 2-symbol Turing machine can perform from the all-zero tape before halting. was historically introd…
math.NT2025
Rigorous expansions of modular forms at CM points, I: Denominators
Chris Xu
We describe an algorithm to rigorously compute the power series expansion at a CM point of a weight cusp form of level coprime to . Our algorithm works by bounding the denom…