Proving Infinitude of Prime Numbers Using Binomial Coefficients

DOI10.1007/978-3-540-87531-4_15zbMath1157.03033OpenAlexW2119737270MaRDI QIDQ3540179

No author found.

Publication date: 20 November 2008

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87531-4_15

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Primes (11A41) Complexity of proofs (03F20)

Related Items (1)

Short propositional refutations for dense random 3CNF formulas

This page was built for publication: Proving Infinitude of Prime Numbers Using Binomial Coefficients