𝔖 Bobbio Scriptorium
✦   LIBER   ✦

New test of the weak equivalence principle for neutrons

✍ Scribed by A.I. Frank; P. Geltenbort; M. Jentschel; G.V. Kulin; D.V. Kustov; V.G. Nosov; A.N. Strepetov


Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
359 KB
Volume
611
Category
Article
ISSN
0168-9002

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A New Proof of the Weak Pigeonhole Princ
✍ Alexis Maciel; Toniann Pitassi; Alan R. Woods πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 213 KB

The exact complexity of the weak pigeonhole principle is an old and fundamental problem in proof complexity. Using a diagonalization argument, J. B. Paris et al. (J. Symbolic Logic 53 (1988), 1235-1244) showed how to prove the weak pigeonhole principle with bounded-depth, quasipolynomialsize proofs.