Much of mathematics is driven by intuition, by a deep-rooted sense of what should be true. But sometimes instinct can lead a mathematician astray. Early evidence might not represent the bigger picture ...

We give a systematic method of providing numerical evidence for higher order Stark-type conjectures such as (in chronological order) Stark’s conjecture over ℚ, Rubin’s conjecture, Popescu’s conjecture ...

In this paper, we review the Ramanujan conjecture in classical and modern settings and explain its various applications in computer science, including the explicit constructions of the spectrally ...