Skip navigation
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
Advisors: Appel, Andrew
Contributors: Trotter, Hale
Department: Mathematics
Computer Science
Class Year: 2010
Extent: 60 Pages
Other Identifiers: 24430
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
Type of Material: Princeton University Senior Theses
Appears in Collections:Mathematics, 1934-2020
Computer Science, 1988-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.