Learn More
We present a new algorithm for computing the regulator of a real quadratic field Q(√ D), based on an algorithm for unconditionally verifying the correctness of the regulator produced by a subexponential algorithm, that runs in expected time O(D 1/6+) under the Generalized Riemann Hypothesis. The correctness of our algorithm relies on no unproven hypotheses(More)
  • 1