𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Classical proof forestry

✍ Scribed by Willem Heijltjes


Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
601 KB
Volume
161
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Short proofs of classical theorems
✍ J. A. Bondy πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 81 KB

## Abstract We give proofs of Ore's theorem on Hamilton circuits, Brooks' theorem on vertex coloring, and Vizing's theorem on edge coloring, as well as the ChvΓ‘tal‐LovΓ‘sz theorem on semi‐kernels, a theorem of Lu on spanning arborescences of tournaments, and a theorem of Gutin on diameters of orient

A Classic Proof of a Recurrence for a Ve
✍ Dominique Foata; Doron Zeilberger πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 254 KB

has recently narrated the fascinating story of how the classical Schro der [Sch1870] numbers s(n) are even more classical than was previously believed. They (at least s(10)=103049) were known to Hipparchus (190 127 b.c.). Stanley recalled the three-term linear recurrence p. 57]) and stated that ``