Automatic derivation of the irrationality of e

Michael Beeson. Automatic derivation of the irrationality of e. Electronic Notes in Theoretical Computer Science, 23(3):420-439, 1999. [doi]

Abstract

Abstract is missing.