Please use this identifier to cite or link to this item:
|Title:||A Computer-Checked Proof to the Two Paths Problem|
|Authors:||Tian, Kevin T|
|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 firstname.lastname@example.org.|
|Type of Material:||Princeton University Senior Theses|
|Appears in Collections:||Mathematics, 1934-2016|
Computer Science, 1988-2016
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.