ONTIC: A Knowledge Representation System for Mathematics
Ontic 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 O...
Main Author: | McAllester, David Allen |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6959 |
Similar Items
-
The Use of Equality in Deduction and Knowledge Representation
by: McAllester, David Allen
Published: (2004) -
Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation
by: McAllester, David Allen
Published: (2004) -
Reasoning Utility Package User's Manual, Version One
by: McAllester, David Allen
Published: (2004) -
Solving Uninterpreted Equations with Context Free Expression Grammars
by: McAllester, David Allen
Published: (2004) -
A Three Valued Truth Maintenance System
by: McAllester, David A.
Published: (2004)