Proof by computer: Harnessing the power of computers to verify mathematical proofs November 06, 2008 | User rating: 4.5 / 5 after 45 vote(s)
| User comments: 2
New computer tools have the potential to revolutionize the practice of mathematics by providing far more-reliable proofs of mathematical results than have ever been possible in the history of humankind. These computer tools, ... | |
PhysOrg Video
- What is Feng Shui? - Demonstration , November 21
- What is Feng Shui? - Interview , November 21
- What is a Bloody Caesar? , November 21
- How To Make Guacamole , November 21
- How to Make a Caesar , November 21
- Battle of the Dating Sites - Match.com , November 21
- PhysOrg Video »
Most popular stories
-
Mini Nuclear Power Plants Could Power 20,000 Homes (Update),
November 12, 2008
-
Optical illusions: caused by eye or brain?,
November 11, 2008
-
Billions of particles of anti-matter created in laboratory,
November 17, 2008
-
Study Shows How We Evolved Different Personalities,
November 13, 2008
-
Unhappy people watch TV, happy people read/socialize, says study,
November 14, 2008
- Most popular »
News Pix
-
Site List Narrows For NASA's Next Mars Landing,
November 20, 2008
-
NASA Spacecraft Detects Buried Glaciers on Mars,
November 20, 2008
-
Starburst Galaxy NGC 1569,
November 20, 2008
-
Cassini Finds 'Missing Link' - Moonlet Evidence in Saturn's Rings,
November 19, 2008
- More news pix »
Video
Editorials
Free Magazines
Free White Papers
PhysOrg Jobs
Newsletter
Goto Archive
Suggest a story idea
Send feedback
