Here is a link to a new simplified proof with links to
an overview of it and to a full exposition with the
programs. The overview is 10 pages long so good luck.

--- Rickard Parker <[log in to unmask]> wrote:
>
> > I'd rather see the actual papers, but that's a
> start. Thanks much.
>
> One of the pages the search linked to mentioned that
> the program was
> thousands of lines long (and being written in 1976
> would likely be in
> Fortran, yuck.) Should that really be posted to
> TSE?
>
> Why not look up the papers and get the answer from
> the author of how the
> case weres pared down to the hundreds instead of
> asking others who haven't
> read the papers either? Something this complicated
> is probably best read in
> a journal than on-line anyway.
>
> Despite the risk of sounding arrogant, I think that
> further discussion on
> this topic should be handled with private e-mails
> between the interested
> parties. We had someone quit yesterday due partly
> to the volume of e-mails.
> This would probably have sent her over the edge of
> sanity.
>
> Regards,
> Rick Parker
>
> Why not use five colors anyway?
>
>


__________________________________________________
Do You Yahoo!?
Yahoo! Auctions - Buy the things you want at great prices.
http://auctions.yahoo.com/