Please use this identifier to cite or link to this item:
http://arks.princeton.edu/ark:/88435/dsp01ht24wm54z| Title: | A Computer-Checked Proof to the Two Paths Problem |
| Authors: | Tian, Kevin T |
| Advisors: | Appel, Andrew |
| Contributors: | Trotter, Hale |
| Department: | Mathematics Computer Science |
| Class Year: | 2010 |
| Extent: | 60 Pages |
| Other Identifiers: | 24430 |
| URI: | http://arks.princeton.edu/ark:/88435/dsp01ht24wm54z |
| Location : | This thesis can be viewed in person at the Mudd Manuscript Library. To order a copy complete the Senior Thesis Request Form. For more information contact mudd@princeton.edu. |
| Type of Material: | Princeton University Senior Theses |
| Appears in Collections: | Computer Science, 1988-2020 Mathematics, 1934-2020 |
Files in This Item:
There are no files associated with this item.
Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.