News FocusMathematics

What in the Name of Euclid Is Going On Here?

+ See all 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


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