four-colour theorem

Automated mathematics Human versus machine: who's better at proving theorems? Read more...	Country road, take me home Road colouring problem solved Read more...
Editorial Plus 100 —the best maths of the last century More maths grads Read more...	Helping business make a crust The new Maths KTN is showing business how to do mathematics and mathematics how to do business. Read more...
The origins of proof IV: The philosophy of proof Robert Hunt concludes our Origins of Proof series by asking what a proof really is, and how we know that we've actually found one. One for the philosophers to ponder... Read more...

Login to comment or download PDFs