A Very Short Proof of the Infinitude of Primes.

Romeo Mestrovic

Published in: Am. Math. Mon. (2017)

Keyphrases

theorem prover
neural network
cooperative
theorem proving
computer vision
similarity measure
evolutionary algorithm