A verified factorization algorithm for integer polynomials with polynomial complexity
暂无分享,去创建一个
Jose Divasón | Sebastiaan J. C. Joosten | René Thiemann | Akihisa Yamada | René Thiemann | A. Yamada | Jose Divasón
[1] Jose Divasón,et al. A formalization of the Berlekamp-Zassenhaus factorization algorithm , 2017, CPP.
[2] Joachim von zur Gathen,et al. Modern Computer Algebra , 1998 .
[3] László Lovász,et al. Factoring polynomials with rational coefficients , 1982 .