Proof by Computer

New computer tools have the potential to revolutionize the practice of mathematics by providing more-reliable proofs of mathematical results than have ever been possible in the history of humankind. These tools have been used to provide nearly infallible proofs of many important results. A ground-breaking collection of four articles by leading experts, published today in the AMS Notices, explores these new developments.

Read the whole article on Newswise - Scinews

More from Newswise - Scinews