An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem
From MaRDI portal
Publication:1819945
DOI10.1007/BF00244993zbMath0614.68062OpenAlexW2008655451MaRDI QIDQ1819945
Publication date: 1985
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00244993
Related Items
Verification of the Miller-Rabin probabilistic primality test., Fermat, Euler, Wilson -- three case studies in number theory
Uses Software
