Machine Proof of a Theorem on Cubic Residues
From MaRDI portal
Publication:3290765
DOI10.2307/2003130zbMath0105.26501MaRDI QIDQ3290765
D. H. Lehmer, W. H. Mills, E. T. Lehmer, John L. Selfridge
Publication date: 1962
Full work available at URL: https://doi.org/10.2307/2003130
11-04: Software, source code, etc. for problems pertaining to number theory
11A15: Power residues, reciprocity
11A41: Primes