%0 Journal Article %1 journals/jsc/Beeson01 %A Beeson, Michael %D 2001 %J J. Symb. Comput. %K dblp %N 4 %P 333-349 %T Automatic Derivation of the Irrationality of e. %U http://dblp.uni-trier.de/db/journals/jsc/jsc32.html#Beeson01 %V 32

@article{journals/jsc/Beeson01, added-at = {2021-02-17T00:00:00.000+0100}, author = {Beeson, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2107e3d6979344ac2f09f7d7b7ca068f4/dblp}, ee = {https://doi.org/10.1006/jsco.2000.0465}, interhash = {0ba3318a0772305a8de0f5bc7b4fa87a}, intrahash = {107e3d6979344ac2f09f7d7b7ca068f4}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 4, pages = {333-349}, timestamp = {2024-04-09T05:31:01.000+0200}, title = {Automatic Derivation of the Irrationality of e.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc32.html#Beeson01}, volume = 32, year = 2001 }