✦ LIBER ✦

Minimal from classical proofs

✍ Scribed by Schwichtenberg, Helmut; Senjak, Christoph

Book ID: 121457038
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 162 KB
Volume: 164
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.05.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refined program extraction from classica

Refined program extraction from classical proofs

✍ Ulrich Berger; Wilfried Buchholz; Helmut Schwichtenberg 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Getting results from programs extracted

Getting results from programs extracted from classical proofs

✍ C. Raffalli 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 307 KB

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

The classical moment problem: Hilbertian

The classical moment problem: Hilbertian proofs

✍ H.J Landau 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 960 KB

Two classical splitting theorems: Easy p

Two classical splitting theorems: Easy proofs

✍ Moss E. Sweedler 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 270 KB

Classical proof forestry

✍ Willem Heijltjes 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 601 KB