Re: [isabelle] Computing divisors

Hi Manuel,

> So I think that at some point, I will probably implement this in
> Isabelle – minus the number field sieve, of course – and until then, I
> will stick with the naïve approach.

the upcoming Isabelle release will contain a sieve algorithm in

I appreciate your efforts to bring more executability to number theory.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.