How to prove it: A structured approach DJ Velleman Cambridge University Press, 2019 | 410 | 2019 |
Pascal's matrices GS Call, DJ Velleman The American Mathematical Monthly 100 (4), 372-376, 1993 | 262 | 1993 |
Philosophies of mathematics A George, DJ Velleman Blackwell publishers, 2002 | 147 | 2002 |
Simplified morasses D Velleman Journal of Symbolic Logic 49, 257-271, 1984 | 93 | 1984 |
Morasses, diamond, and forcing DJ Velleman Annals of Mathematical Logic 23 (2-3), 199-281, 1982 | 59 | 1982 |
Which way did the bicycle go JDE Konhauser, D Velleman, S Wagon Mathematical Association of America, 174, 1996 | 52 | 1996 |
Permutations and combination locks DJ Velleman, GS Call Mathematics Magazine 68 (4), 243-253, 1995 | 40 | 1995 |
Which way did the bicycle go?: and other intriguing mathematical mysteries JDE Konhauser, D Velleman, S Wagon Cambridge University Press, 1996 | 31 | 1996 |
Simplified morasses with linear limits D Velleman Journal of Symbolic Logic 49, 1001-1021, 1984 | 28 | 1984 |
Characterizing continuity DJ Velleman The American mathematical monthly 104 (4), 318-322, 1997 | 26 | 1997 |
Constructivism liberalized DJ Velleman The Philosophical Review 102 (1), 59-84, 1993 | 25 | 1993 |
Simplified gap-2 morasses D Velleman Annals of Pure and Applied Logic 34, 171-208, 1987 | 25 | 1987 |
Souslin trees constructed from morasses D Velleman Contemporary Mathematics 31, 219-241, 1984 | 24 | 1984 |
On Gauss's first proof of the fundamental theorem of algebra S Basu, DJ Velleman The American Mathematical Monthly 124 (8), 688-694, 2017 | 18 | 2017 |
The generalized Simpson's rule DJ Velleman The American Mathematical Monthly 112 (4), 342-350, 2005 | 18 | 2005 |
𝜔-morasses, and a weak form of Martin’s axiom provable in 𝑍𝐹𝐶 D Velleman Transactions of the American Mathematical Society 285 (2), 617-627, 1984 | 17 | 1984 |
What to expect in a game of memory DJ Velleman, GS Warrington The American Mathematical Monthly 120 (9), 787-805, 2013 | 15 | 2013 |
Two conceptions of natural number A George, DJ Velleman Truth in Mathematics, 311-327, 1998 | 15* | 1998 |
Fermat's last theorem and Hilbert's program. DJ Velleman Mathematical Intelligencer 19 (1), 1997 | 15 | 1997 |
Some generalizations of the notion of bounded variation PB Pierce, DJ Velleman The American Mathematical Monthly 113 (10), 897-904, 2006 | 12 | 2006 |