𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Refinement of de Bruijn's Formal Language of Mathematics

✍ Scribed by Fairouz Kamareddine; Rob Nederpelt

Book ID
111589699
Publisher
Springer Netherlands
Year
2004
Tongue
English
Weight
382 KB
Volume
13
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On a theorem of de Bruijn and ErdΓΆs
On a theorem of de Bruijn and ErdΓΆs
✍ David J. Houck; Michael E. Paul πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science 🌐 English βš– 430 KB
Polynomials and packings: A new proof of
Polynomials and packings: A new proof of de Bruijn's theorem
✍ Paul Boisen πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 119 KB

In 1969 de Bruijn published a proof of the following fact: An a x ab x abc brick can be used to pack an A x B x C box if, and only if, the integers A, B, C are in some order a multiple of a, a multiple of ab, and a multiple of abc. We give a quick proof of this result based on the following elementa