Loading...
Please wait, while we are loading the content...
Similar Documents
Mathematics. What in the name of Euclid is going on here?
| Content Provider | Semantic Scholar |
|---|---|
| Author | Mackenzie, Dana |
| Copyright Year | 2005 |
| Abstract | MATHEMATICSComputer assistants may help mathematicians dot the i's and cross the t's of proofs so complex that they defy human comprehension. |
| File Format | PDF HTM / HTML |
| DOI | 10.1126/science.307.5714.1402a |
| PubMed reference number | 15746406 |
| Journal | Medline |
| Volume Number | 307 |
| Issue Number | 5714 |
| Alternate Webpage(s) | http://rifters.com/real/articles/Science_PA.pdf |
| Alternate Webpage(s) | http://www.cs.rice.edu/~vardi/misc/euclid.pdf |
| Alternate Webpage(s) | https://doi.org/10.1126/science.307.5714.1402a |
| Journal | Science |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |