Showing math.NTShow all
2 papers · 1 filter
math.NT2023
The Decidability of the Riemann Hypothesis
Kevin Broughan
Using a result of recursive function theory and results of the complex analysis of Takeuti, which is based on a type theory and the work of Kreisel, and which gives a conservative…
math.NT2010
On the Number of Solutions of Exponential Congruences
Antal Balog, Kevin A. Broughan, Igor E. Shparlinski
For a prime and an integer we obtain nontrivial upper bounds on the number of solutions to the congruence , . We use these est…