Pigeon hole principle (1990)

by Wojciech A. Trybulec
Venue:Journal of Formalized Mathematics
Citations:262 - 13 self

Active Bibliography

17 Associated Matrix of Linear Map – Robert Milewski - 2002
Journal Of Formalized Mathematics – Volume Released Published, Jarosław Kotowicz
1 Konig's lemma – Grzegorz Bancerek - 1991
4 Preliminaries to the Lambek Calculus – Wojciech Zielonka - 1991
2 The sequential closure operator in sequential and Frechet spaces – Bartłomiej Skorulski - 1999
12 The SCMPDS computer and the basic semantics of its instructions – Jing-chao Chen - 1999
3 Polynomial reduction – Christoph Schwarzweller
2 The for (going up) macro instruction – Piotr Rudnicki - 1998
2 Thefor (going up) macro instruction – Piotr Rudnicki - 1998
1 Bioinformatics Technologies – Jing-chao Chen - 2005
14 Standard Ordering of Instruction Locations – Andrzej Trybulec, Piotr Rudnicki, Artur Korniłowicz - 2000
5 On the composition of non-parahalting macro instructions – Piotr Rudnicki - 1998
1 The Steinitz Theorem and the Dimension of a Real Linear Space – Jing-chao Chen
34 Countable sets and Hessenberg’s theorem – Grzegorz Bancerek - 1990
60 Functions and Finite Sequences of Real Numbers – Jaros Law Kotowicz, Fxg G - 1993
4 Primitive roots of unity and cyclotomic polynomials – Broderic Arneson, Piotr Rudnicki
21 Definitions and basic properties of measurable functions – Noboru Endou, Katsumi Wasaki, Yasunari Shidama
7 On the composition of macro instructions of standard computers – Artur Korniłowicz
90 Combining of Circuits – Yatsuka Nakamura, Grzegorz Bancerek - 2002