𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Theorem Implying the Irrationality of 2

✍ Scribed by Estermann, T.


Book ID
120098550
Publisher
Oxford University Press
Year
1966
Tongue
English
Weight
45 KB
Volume
s1-41
Category
Article
ISSN
0024-6107

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Computer Proof of a Polynomial Identit
✍ Alexander Berkovich; Axel Riese πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 117 KB

In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer proofs are done with the aid of the new computer algebra packag

On the Irrationality of √2 Once Again
✍ Review by: Samuel G. Moreno, Esther M. GarcΓ­a–Caballero πŸ“‚ Article πŸ“… 2013 πŸ› Mathematical Association of America 🌐 English βš– 180 KB