Beeson, Michael J

Publications & Presentations

• Michael J. Beeson. "Automatic derivation of the irrationality of e." Article. (January 2001).
• Michael J. Beeson. "Automatic generation of epsilon-delta proofs of continuity." Book Chapter. (January 1998).
• Michael J. Beeson. "Reality and truth in mathematics." Article. (January 1998).
• Michael J. Beeson. "Triangles with vertices on lattice points." Article. (January 1992).