Polynomial factorization over the rationals
Factorization writes a polynomial as a product in a declared coefficient field. Validation compares all coefficients rather than a few evaluated values.
atlas-factorization · canonical_mko
Polynomial factorization over the rationals
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data