News FocusMathematics

What in the Name of Euclid Is Going On Here?

See allHide authors and affiliations

Science  04 Mar 2005:
Vol. 307, Issue 5714, pp. 1402-1403
DOI: 10.1126/science.307.5714.1402a

You are currently viewing the summary.

View Full Text

Log in to view the full text

Log in through your institution

Log in through your institution


Computer assistants may help mathematicians dot the i's and cross the t's of proofs so complex that they defy human comprehension.