The IJCAR 2004 Workshop on  Empirically . . .

The IJCAR 2004 Workshop on Empirically . . . (2004)

by Geoff Sutcliffe, et al.

@MISC{Sutcliffe04theijcar,
    author = {Geoff Sutcliffe and et al.},
    title = {The IJCAR 2004 Workshop on Empirically . . .},
    year = {2004}
}

1274	Tarski Grothendieck set theory - Trybulec - 1989
112	The TPTP problem library: CNF release v1.2.1 - Sutcliffe, Suttner - 1998
99	E—a brainiac theorem prover - Schulz - 1994
75	An overview of the MIZAR project - Rudnicki - 1992
20	Comparing mathematical provers - Wiedijk - 2003
19	Information Retrieval in MML - Bancerek
17	Learning Search Control Knowledge for Equational Theorem Proving - Schulz - 2001
12	On well-ordered subsets of any set - Tarski - 1939
11	On equivalents of well-foundedness. an experiment in mizar - Rudnicki, Trybulec - 1999
6	Citius altius fortius: Lessons learned from the theorem prover waldmeister - Hillenbrand
3	Translating Mizar for First Order Theorem Provers - Urban
2	MizarMode: Emacs Authoring Environment for Mizar, available online at http://kti.mff.cuni.cz/~urban/MizarModeDoc/html - Urban
2	MPTP - Motivation, Implementation, First Experiments. Accepted to editors Ingo Dahn, Deepak Kapur and Laurent Vigneron - Urban
1	Riazanov and Andrei Voronkov On the Evaluation of Indexing Techniques for Theorem - Nieuwenhuis, Hillenbrand, et al. - 2001
1	Andrei Voronkov [2001]: Term Indexing. Handbook of Automated Reasoning 2001 - Sekar
1	2000], CHECKER - notes on the basic inference step in Mizar. available at http://www.cs.kun.nl/˜freek/mizar/by.dvi - Wiedijk