User login
math
the fermat search
back in college I wrote a program to search through possible factors of fermat numbers. I never discovered any new factors, but the program was verified through test cases, and was given an unofficial blessing by Richard Crandall. Crandall later went on to show in 1999 that F24 is composite, and a composite cofactor of F23 in 2000.
