Computers Effective In Verifying Mathematical Proofs

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, based on the notion of "formal proof," have in recent years been used to provide nearly infallible proofs of many important results.

Read the whole article on Science Daily

More from Science Daily