Automatic derivation of the irrationality of e. Beeson, M. Journal of Symbolic Computation, 32(4):333-349, 2001.
Automatic derivation of the irrationality of e [pdf]Pdf  bibtex   2 downloads  

Downloads: 2