| Publication | Date of Publication | Type |
|---|
Integration by Substitution: A Case Study in the Relationship Between Calculus and Analysis
The College Mathematics Journal | 2023-11-24 | Paper |
Lectures on the Philosophy of Mathematics
Notices of the American Mathematical Society | 2022-08-31 | Paper |
| Bicycle or unicycle? A collection of intriguing mathematical puzzles | 2021-05-26 | Paper |
| How to Prove It | 2020-03-20 | Paper |
Differences of bijections
The American Mathematical Monthly | 2019-03-13 | Paper |
On Gauss's first proof of the fundamental theorem of algebra
The American Mathematical Monthly | 2018-07-13 | Paper |
Anonymity in predicting the future
(available as arXiv preprint) | 2018-07-12 | Paper |
| Calculus: a rigorous first course | 2017-02-07 | Paper |
The fundamental theorem of algebra: a visual approach
The Mathematical Intelligencer | 2016-06-27 | Paper |
Monthly Gems
American Mathematical Monthly | 2016-06-16 | Paper |
A drug-induced random walk
American Mathematical Monthly | 2014-11-10 | Paper |
What to expect in a game of memory
The American Mathematical Monthly | 2014-03-20 | Paper |
The even-odd hat problem
Fundamenta Mathematicae | 2012-10-31 | Paper |
| Matching expectations | 2012-08-23 | Paper |
Probability and quantum mechanics
American Journal of Physics | 2011-08-19 | Paper |
Some Generalizations of the Notion of Bounded Variation
The American Mathematical Monthly | 2008-07-21 | Paper |
Exponential vs. Factorial
The American Mathematical Monthly | 2008-03-26 | Paper |
A Note on λ-Permutations
The American Mathematical Monthly | 2008-02-05 | Paper |
The Generalized Simpson's Rule
The American Mathematical Monthly | 2007-07-30 | Paper |
Relationships between the classes \(\Phi_b\mathrm{BV}\) and \(\Lambda_q\mathrm{BV}\)
Real Analysis Exchange | 2007-07-09 | Paper |
Variable declarations in natural deduction
Annals of Pure and Applied Logic | 2007-02-02 | Paper |
| How to prove it. A structured approach | 2006-04-10 | Paper |
| Simpson Symmetrized and Surpassed | 2004-10-28 | Paper |
Partial Fractions, Binomial Coefficients, and the Integral of an Odd Power of sec q
The American Mathematical Monthly | 2003-07-29 | Paper |
The mean value theorem in second order arithmetic
The Journal of Symbolic Logic | 2002-07-18 | Paper |
| Philosophies of mathematics | 2002-02-18 | Paper |
Multivariable Calculus and the Plus Topology
American Mathematical Monthly | 2001-11-26 | Paper |
| scientific article; zbMATH DE number 1301819 (Why is no real title available?) | 1999-06-16 | Paper |
| Another Proof of the Fundamental Theorem of Algebra | 1999-02-04 | Paper |
Fermat's Last Theorem and Hilbert's program
The Mathematical Intelligencer | 1997-12-09 | Paper |
Characterizing Continuity
The American Mathematical Monthly | 1997-07-03 | Paper |
| Permutations and Combination Locks | 1996-09-12 | Paper |
| scientific article; zbMATH DE number 716832 (Why is no real title available?) | 1995-01-31 | Paper |
Pascal's Matrices
The American Mathematical Monthly | 1994-06-06 | Paper |
Morasses, diamond, and forcing
Annals of Mathematical Logic | 1982-01-01 | Paper |
