proof-sqrt2-version0-complete.nb - File Properties
| FTP Site: | ftp.risc.uni-linz.ac.at |
| Description: | Johannes Kepler University Linz |
| Country: | Austria |
| Directory: | /pub/private/tjebelea/Lectures/ATP/2001b/Lecture-1 |
| File Name: | proof-sqrt2-version0-complete.nb |
| File Size: | 2.00 MB (2,095,777 Bytes) |
| Modified: | 17/Oct/2001 |
