Math Forum http://mathforum.org/kb List of forum topics en Re: Four-Color Problem--computer-based proofs http://mathforum.org/kb/thread.jspa?messageID=1382423&tstart=0#1382423
> Avinoam Mann wrote:

>]]> Feb 8, 1999 6:02:50 PM Feb 8, 1999 6:02:50 PM conway@math.Princeton.EDU 0 Re: Four-Color Problem--computer-based proofs http://mathforum.org/kb/thread.jspa?messageID=1382424&tstart=0#1382424 footnote.

The "Kiss Precise" or "4-Circles Theorem" concerns 4 circles]]> Feb 8, 1999 5:53:46 PM Feb 8, 1999 5:53:46 PM MDEAKIN@gizmo.maths.monash.edu.au 0 Re: Four-Color Problem--computer-based proofs http://mathforum.org/kb/thread.jspa?messageID=1382422&tstart=0#1382422
>I'm not sure if you would consider that a major result, but the inexistence
>of a]]> Feb 8, 1999 5:25:33 PM Feb 8, 1999 5:25:33 PM xpolakis@otenet.gr 2