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]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @article{beeson2001,
author = {Michael Beeson},
date-added = {2014-11-13 23:28:10 +0000},
date-modified = {2014-11-14 19:31:28 +0000},
journal = {Journal of Symbolic Computation},
keywords = {Automated deduction},
number = {4},
pages = {333-349},
title = {Automatic derivation of the irrationality of e},
url_pdf = {JSCVersion.pdf},
volume = {32},
year = {2001}}Downloads: 0
{"_id":"KtFqHxZabwDSnTMPX","bibbaseid":"beeson-automaticderivationoftheirrationalityofe-2001","downloads":1,"creationDate":"2016-06-13T20:18:39.313Z","title":"Automatic derivation of the irrationality of e","author_short":["Beeson, M."],"year":2001,"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-13 23:28:10 +0000","date-modified":"2014-11-14 19:31:28 +0000","journal":"Journal of Symbolic Computation","keywords":"Automated deduction","number":"4","pages":"333-349","title":"Automatic derivation of the irrationality of e","url_pdf":"JSCVersion.pdf","volume":"32","year":"2001","bibtex":"@article{beeson2001,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-13 23:28:10 +0000},\n\tdate-modified = {2014-11-14 19:31:28 +0000},\n\tjournal = {Journal of Symbolic Computation},\n\tkeywords = {Automated deduction},\n\tnumber = {4},\n\tpages = {333-349},\n\ttitle = {Automatic derivation of the irrationality of e},\n\turl_pdf = {JSCVersion.pdf},\n\tvolume = {32},\n\tyear = {2001}}\n\n","author_short":["Beeson, M."],"key":"beeson2001","id":"beeson2001","bibbaseid":"beeson-automaticderivationoftheirrationalityofe-2001","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/JSCVersion.pdf"},"keyword":["Automated deduction"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"search_terms":["automatic","derivation","irrationality","beeson"],"keywords":["automated deduction"],"authorIDs":["TqZdHatzyaM88iEPt"],"dataSources":["v9esbf6gQ8h64d3NA"]}