SJSU Home : Faculty & Staff Web Pages : Michael J. Beeson's Homepage : Publications & Presentations

SAN JOSÉ STATE UNIVERSITY

Beeson, Michael J.

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).