%0 Conference Paper %1 conf/cpp/BernardBRS16 %A Bernard, Sophie %A Bertot, Yves %A Rideau, Laurence %A Strub, Pierre-Yves %B CPP %D 2016 %E Avigad, Jeremy %E Chlipala, Adam %I ACM %K dblp %P 76-87 %T Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2016.html#BernardBRS16 %@ 978-1-4503-4127-1

@inproceedings{conf/cpp/BernardBRS16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bernard, Sophie and Bertot, Yves and Rideau, Laurence and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/23be8ce6fdbd74440e0c763ec50640031/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2016}, editor = {Avigad, Jeremy and Chlipala, Adam}, ee = {https://doi.org/10.1145/2854065.2854072}, interhash = {fa64a21737a8276301329e503434c30b}, intrahash = {3be8ce6fdbd74440e0c763ec50640031}, isbn = {978-1-4503-4127-1}, keywords = {dblp}, pages = {76-87}, publisher = {ACM}, timestamp = {2018-11-07T15:09:39.000+0100}, title = {Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2016.html#BernardBRS16}, year = 2016 }