Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}