Are there standard benchmark problem sets used for empirically evaluating algorithms designed for computing rational points on (various classes of) algebraic varieties?
If so, could you please point me to them?
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
9 months ago