𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A quicker proof of fay's identity

✍ Scribed by Henry P. McKean

Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
112 KB
Volume
46
Category
Article
ISSN
0010-3640

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A New Proof of Winquist's Identity
A New Proof of Winquist's Identity
✍ Soon-Yi Kang πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 217 KB

Elementary proofs for (1.1) and (1.2) due to Ramanujan can be found in , but it was not until 1969 that the first simple proof of (1.3) of the same nature as those for (1.1) and (1.2) was given by Winquist . Winquist found and proved an identity that played an essential role in proving (1.3), as Eul

A Computer Proof of a Polynomial Identit
A Computer Proof of a Polynomial Identity Implying a Partition Theorem of GΓΆllnitz
✍ 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