A note on two Erdős's proofs of the infinitude of primes.

Romeo Mestrovic

Published in: Electron. Notes Discret. Math. (2013)

Keyphrases

theorem prover
theorem proving
feature extraction
formal proof
artificial neural networks
formal proofs
social networks
decision making
multiscale
onset detection