[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - A formalization of the Berlekamp-Zassenhaus factorization algorithm
Divasón, Jose, Joosten, Sebastiaan, Thiemann, René, Yamada, AkihisaYear:
2017
Language:
english
DOI:
10.1145/3018610.3018617
File:
PDF, 545 KB
english, 2017