Math.NumberTheory.Primes.Factorisation.Certified
certifiedFactorisation
certificateFactorisation
provenFactorisation