 | 2009 |
|---|
| 34 |       | Jacques Carette,
William M. Farmer:
A Review of Mathematical Knowledge Management.
Calculemus/MKM 2009: 233-246 |
| 33 | | William M. Farmer,
Orlin G. Grigorov:
Panoptes: An Exploration Tool for Formal Proofs.
Electr. Notes Theor. Comput. Sci. 226: 39-48 (2009) |
| 2008 |
|---|
| 32 | | Jacques Carette,
William M. Farmer:
High-Level Theories.
AISC/MKM/Calculemus 2008: 232-245 |
| 31 | | William M. Farmer:
The seven virtues of simple type theory.
J. Applied Logic 6(3): 267-286 (2008) |
| 2007 |
|---|
| 30 | | Jacques Carette,
William M. Farmer,
Volker Sorge:
A Rational Reconstruction of a System for Experimental Mathematics.
Calculemus/MKM 2007: 13-26 |
| 29 | | William M. Farmer:
Biform Theories in Chiron.
Calculemus/MKM 2007: 66-79 |
| 2006 |
|---|
| 28 |  | Jonathan M. Borwein,
William M. Farmer:
Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Springer 2006 |
| 27 | | William M. Farmer:
IMPS.
The Seventeen Provers of the World 2006: 72-87 |
| 26 | | Jacques Carette,
William M. Farmer:
Preface.
Electr. Notes Theor. Comput. Sci. 151(1): 1-2 (2006) |
| 2004 |
|---|
| 25 | | William M. Farmer:
Formalizing Undefinedness Arising in Calculus.
IJCAR 2004: 475-489 |
| 2003 |
|---|
| 24 | | William M. Farmer,
Martin von Mohrenschildt:
An Overview of a Formal Framework for Managing Mathematics.
Ann. Math. Artif. Intell. 38(1-3): 165-191 (2003) |
| 2001 |
|---|
| 23 | | William M. Farmer:
STMM: A Set Theory for Mechanized Mathematics.
J. Autom. Reasoning 26(3): 269-289 (2001) |
| 2000 |
|---|
| 22 | | William M. Farmer:
An Infrastructure for Intertheory Reasoning.
CADE 2000: 115-131 |
| 21 | | William M. Farmer,
Joshua D. Guttman:
A Set Theory with Support for Partial Functions.
Studia Logica 66(1): 59-78 (2000) |
| 1999 |
|---|
| 20 | | William M. Farmer:
A Scheme for Defining Partial Higher-Order Functions by Recursion.
IWFM 1999 |
| 1996 |
|---|
| 19 | | William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer:
IMPS: An Updated System Description.
CADE 1996: 298-302 |
| 18 | | William M. Farmer,
Joshua D. Guttman,
Vipin Swarup:
Security for Mobile Agents: Authentication and State Appraisal.
ESORICS 1996: 118-130 |
| 17 | | William M. Farmer,
Richard F. Freund,
Mark Furtney,
Paul Messina,
Lionel M. Ni,
Charles L. Seitz,
Marc Snir:
For a Massive Number of Massively Parallel Machines: What are the Target Applications, Who are the Target Users, and What New R&D is Needed to Hit the Target?
IPPS 1996: 631-634 |
| 1995 |
|---|
| 16 | | William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer:
Context in Mathematical Reasoning and Computation.
J. Symb. Comput. 19(1-3): 210-206 (1995) |
| 1994 |
|---|
| 15 | | William M. Farmer,
Joshua D. Guttman,
Mark E. Nadel,
F. Javier Thayer:
Proof Script Pragmatics in IMPS.
CADE 1994: 356-370 |
| 1993 |
|---|
| 14 | | William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer:
Reasoning with Contexts.
DISCO 1993: 216-228 |
| 13 | | William M. Farmer:
Theory Interpretation in Simple Type Theory.
HOA 1993: 96-123 |
| 12 | | William M. Farmer:
A Simple Type Theory with Partial Functions and Subtypes.
Ann. Pure Appl. Logic 64(3): 211-240 (1993) |
| 11 | | William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer:
IMPS: An Interactive Mathematical Proof System.
J. Autom. Reasoning 11(2): 213-248 (1993) |
| 1992 |
|---|
| 10 | | William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer:
Little Theories.
CADE 1992: 567-581 |
| 9 | | William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer:
IMPS: System Description.
CADE 1992: 701-705 |
| 8 | | William M. Farmer:
The Kreisel Length-of-Proof Problem.
Ann. Math. Artif. Intell. 6(1-3): 27-55 (1992) |
| 1991 |
|---|
| 7 | | William M. Farmer,
Ronald J. Watro:
Redex Capturing in Term Graph Rewriting (Concise Version).
RTA 1991: 13-24 |
| 6 | | William M. Farmer:
A Unification-Theoretic Method for Investigating the k-Provability Problem.
Ann. Pure Appl. Logic 51(3): 173-214 (1991) |
| 5 | | William M. Farmer:
Simple Second-order Languages for which Unification is Undecidable.
Theor. Comput. Sci. 87(1): 25-41 (1991) |
| 1990 |
|---|
| 4 | | William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer:
IMPS: An Interactive Mathematical Proof System.
CADE 1990: 653-654 |
| 3 | | William M. Farmer,
John D. Ramsdell,
Ronald J. Watro:
A Correctness Proof for Combinator Reduction with Cycles.
ACM Trans. Program. Lang. Syst. 12(1): 123-134 (1990) |
| 2 | | William M. Farmer,
Ronald J. Watro:
Redex Capturing in Term Graph Rewriting.
Int. J. Found. Comput. Sci. 1(4): 369-386 (1990) |
| 1 | | William M. Farmer:
A Partial Functions Version of Church's Simple Theory of Types.
J. Symb. Log. 55(3): 1269-1291 (1990) |
