√ ¬ 2∈Q — 3 Proofs in ProofPower-HOL R.D. Arthan Lemma 1 Ltd.
Add to Reading List

Document Date: 2013-11-11 12:05:25

File Size: 256,95 KB

IndustryTerm

SocialTag

• Mathematical proofs
• Algebraic number theory
• Square root of 2
• Infinite descent
• Prime number
• Pell number
• Quadratic residue
• Mathematics
• Number theory
• Integer sequences