Math Trek Math How to (really) trust a mathematical proof Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics. By Julie Rehmeyer November 14, 2008 at 4:32 pm Share this:FacebookTwitterPocketRedditPrint This article is only available to Science News subscribers. Subscribers, enter your e-mail address to access our archives. Client key* E-mail* Log in Not a subscriber? Science News is a nonprofit. Support us by subscribing now. Subscribe