Automated 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.
Identifer | oai:union.ndltd.org:GATECH/oai:smartech.gatech.edu:1853/4767 |
Date | 17 August 2004 |
Creators | Goble, Tiffany Danielle |
Publisher | Georgia Institute of Technology |
Source Sets | Georgia Tech Electronic Thesis and Dissertation Archive |
Language | en_US |
Detected Language | English |
Type | Thesis |
Format | 181560 bytes, application/pdf |
Page generated in 0.1404 seconds