William Stein wrote: > On Wed, May 21, 2008 at 3:02 PM, Sara Billey <[EMAIL PROTECTED]> wrote: >> Hi William, I have a undergrad working on the 4-color theorem and related >> items for her undergrad thesis named Ruth Davidson. Part of her project is >> to implement the computer proof by Robertson, Sanders, Seymour and Thomas. >> Has anyone already done this in SAGE? If not, that will be a big part of >> her thesis. >> > > I'm pretty sure nobody has done this in Sage/Python. I've cc'd this response > to Sage-devel -- if anybody out there knows anything about this, please > comment.
I don't know of any work on this either; I would like to say that it would be awesome. Jason --~--~---------~--~----~------------~-------~--~----~ 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://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
