@article{DBLP:journals/corr/BernardBRS15,
author = {Sophie Bernard and
Yves Bertot and
Laurence Rideau and
Pierre{-}Yves Strub},
title = {Formal Proofs of Transcendence for e and {\textdollar}{\(\pi\)}{\textdollar}
as an Application of Multivariate and Symmetric Polynomials},
journal = {CoRR},
volume = {abs/1512.02791},
year = {2015},
url = {http://arxiv.org/abs/1512.02791},
archivePrefix = {arXiv},
eprint = {1512.02791},
timestamp = {Mon, 13 Aug 2018 16:49:01 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/BernardBRS15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}