Show simple item record

dc.contributor.advisorBelinfante, Johan
dc.contributor.authorGoble, Tiffany Danielleen_US
dc.date.accessioned2005-03-01T19:18:17Z
dc.date.available2005-03-01T19:18:17Z
dc.date.issued2004-08-17en_US
dc.identifier.urihttp://hdl.handle.net/1853/4767
dc.description.abstractAutomated reasoning, and in particular automated theorem proving, has become a very important research field within the world of mathematics. Besides being used to verify proofs of theorems, it has also been used to discover proofs of theorems which were previously open problems. In this thesis, an automated reasoning assistant based on Godel's class theory is used to deduce several theorems.en_US
dc.format.extent181560 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.subjectAutomated reasoningen_US
dc.subjectAutomated theorem proving
dc.titleAutomate Reasoning: Computer Assisted Proofs in Set Theory Using Godel's Algorithm for Class Formationen_US
dc.typeThesisen_US
dc.description.degreeM.S.en_US
dc.contributor.departmentMathematicsen_US
dc.description.advisorCommittee Chair: Belinfante, Johan; Committee Member: Green, William; Committee Member: Manolios, Panagiotisen_US
dc.contributor.committeeMemberGreen, William
dc.contributor.committeeMemberManolios, Panagiotis


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record