A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
Work
Year: 2019
Type: article
Abstract: We formally verify the Berlekamp-Zassenhaus algorithm for factoring square-free integer polynomials in Isabelle/HOL. We further adapt an existing formalization of Yun's square-free factorization algor... more
Source: Journal of Automated Reasoning
Institutions Universidad de La Rioja, Universität Innsbruck
Cites: 34
Cited by: 7
Related to: 10
FWCI: 0.844
Citation percentile (by year/subfield): 68.67
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,152
Funders Ministerio de Economía y Competitividad, Ministerio de Asuntos Económicos y Transformación Digital, Gobierno de España, Japan Science and Technology Agency
Grant IDS MTM2014-54151-P, MTM2017-88804-P, JPMJER1603