Show simple item record

dc.contributor.authorMcAllester, David Allenen_US
dc.date.accessioned2004-10-20T20:10:43Z
dc.date.available2004-10-20T20:10:43Z
dc.date.issued1987-07-01en_US
dc.identifier.otherAITR-979en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6959
dc.description.abstractOntic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases.en_US
dc.format.extent44303384 bytes
dc.format.extent35932682 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.relation.ispartofseriesAITR-979en_US
dc.titleONTIC: A Knowledge Representation System for Mathematicsen_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record