![](/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 - Formalization of a newton series representation of polynomials
Cohen, Cyril, Djalal, BorisYear:
2016
Language:
english
DOI:
10.1145/2854065.2854075
File:
PDF, 434 KB
english, 2016