Hi Bob: I was going to suggest recompiling on msys/MinGW, but after reading the pissy comment on this web site, I don't think that that's going to happen. Your next best bet is to run *VirtualBox* (or equivalent) on your Windoze machine, and then you have access to not only this particular Linux program, but *every* Linux program! If you haven't used VirtualBox (or equivalent), you're in for a very big treat, as my experiences with it have been outstanding. At 10:16 AM 3/3/2019, Robert Baillie wrote:
Hi Everyone,
I am looking for a primality-proving program (presumably, based on ECPP) that runs on Windows, and which will work with numbers up to several thousand digits.
For numbers that are not too large, Mathematica has the ability to produce primality certificates. I think it uses (recursively) partial factorizations of n + 1 and n - 1.
However, on Linux, the primo program http://www.ellipsa.eu/public/primo/primo.html can prove primality of much larger numbers.
Thanks for any info you might have! Bob Baillie