Skip navigation
Please use this identifier to cite or link to this item: http://arks.princeton.edu/ark:/88435/dsp01ht24wm54z
Full metadata record
DC FieldValueLanguage
dc.contributorTrotter, Haleen_US
dc.contributor.advisorAppel, Andrewen_US
dc.contributor.authorTian, Kevin Ten_US
dc.date.accessioned2014-09-22T23:42:05Z-
dc.date.available2014-09-22T23:42:05Z-
dc.date.issued2010en_US
dc.identifier.other24430en_US
dc.identifier.urihttp://arks.princeton.edu/ark:/88435/dsp01ht24wm54z-
dc.format.extent60 Pagesen_US
dc.titleA Computer-Checked Proof to the Two Paths Problemen_US
dc.typePrinceton University Senior Thesesen_US
pu.projectgrantnumber690-2143en_US
pu.date.classyear2010en_US
pu.departmentMathematicsen_US
pu.departmentComputer Scienceen_US
pu.locationThis thesis can be viewed in person at the <a href=http://mudd.princeton.edu>Mudd Manuscript Library</a>. To order a copy complete the <a href="http://rbsc.princeton.edu/senior-thesis-order-form" target="_blank">Senior Thesis Request Form</a>. For more information contact <a href=mailto:mudd@princeton.edu>mudd@princeton.edu</a>.en_US
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.