4 Color theorem - I may be wrong, but as far as I know, the proof by Robertson, Seymour, Sanders and Thomas also requires computational verification of parts of the proof. http://www.math.gatech.edu/~thomas/FC/fourcolor.html But I am not sure if there is a further simplification that no more needs computers.
Bhalchandra Thatte University of Canterbury Christchurch, New Zealand On Aug 4, 4:01 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > Hello, > > David Joyner and I are writing an "opinion column" for the Notices of the > AMS on "funding open source mathematical software". It must be at > most 800 words, and we have a first rough draft. We have to finish it > fairly quickly. I've attached the current version to this email. Feedback > is very welcome! > > -- William > > -- > William Stein > Associate Professor of Mathematics > University of Washingtonhttp://www.williamstein.org > > oscas-ams-notices.tex > 8KDownload > > oscas-ams-notices.pdf > 85KDownload --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---