IntegerFactorizations
A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.
Catalogued in the enumeratio database, with crosswalk rows in mathlib4, matlab, sage; not yet written up here.
SageMath
IntegerFactorization (sage.structure.factorization_integer)mathlib4Nat.factorizationMATLABfactorIntegerFactorizations(...)