![](/img/cover-not-exists.png)
[ACM Press the 5th ACM SIGPLAN Conference - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016 - Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials
Bernard, Sophie, Bertot, Yves, Rideau, Laurence, Strub, Pierre-YvesYear:
2016
Language:
english
DOI:
10.1145/2854065.2854072
File:
PDF, 538 KB
english, 2016