Search for Author All Reviews
	Sutcliffe, Geoff     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       ATP and presentation service for Mizar formalizations Urban J., Rudnicki P., Sutcliffe G. Journal of Automated Reasoning 50(2): 229-241, 2013.  Type: Article Mizar is a formal language used to write mathematical definitions and proofs that are as close as possible to vernacular. One can profit from Mizar by using it as: an integrated library (linked within itself) containing proofs generate...... Apr 18 2013     The development of CASC Pelletier F., Sutcliffe G., Suttner C. AI Communications 15(2): 79-90, 2002.  Type: Article A competition on automated theorem proving (ATP), held during conferences on automated deduction (CADE), is described in this paper....... Mar 18 2003     Evaluating general purpose automated theorem proving systems Sutcliffe G., Suttner C. Artificial Intelligence 131(1-2): 39-54, 2001.  Type: Article The authors discuss the empirical evaluation of general-purpose automated theorem proving systems, and present two schemes for empirical evaluation of fully automatic, sound, possibly incomplete, or bugged automated theorem proving sys...... May 13 2002
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy