Efficient verification of Tunnell's criterion

From MaRDI portal
Publication:957686