William M. Farmer

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 22

Top Topics

Formal Language

Software Systems

Mathematical Knowledge

Empirical Evaluation

Top Venues

Publications

William M. Farmer, Dennis Y. Zvigelsky
Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory. CoRR (2023)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Leveraging the Information Contained in Theory Presentations. CoRR (2020)
Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR (2020)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Leveraging the Information Contained in Theory Presentations. CICM (2020)
Jacques Carette, William M. Farmer
Towards Specifying Symbolic Computation. CICM (2019)
Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR (2019)
Jacques Carette, William M. Farmer
Towards Specifying Symbolic Computation. CoRR (2019)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Biform Theories: Project Description. CICM (2018)
William M. Farmer
Incorporating quotation and evaluation into Church's type theory. Inf. Comput. 260 (2018)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Biform Theories: Project Description. CoRR (2018)
William M. Farmer
A New Style of Mathematical Proof. CoRR (2018)
Jacques Carette, William M. Farmer, Patrick Laskowski
HOL Light QE. ITP (2018)
Jacques Carette, William M. Farmer, Patrick Laskowski
HOL Light QE. CoRR (2018)
William M. Farmer
A New Style of Mathematical Proof. ICMS (2018)
Jacques Carette, William M. Farmer
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CoRR (2017)
William M. Farmer
Theory Morphisms in Church's Type Theory with Quotation and Evaluation. CICM (2017)
Jacques Carette, William M. Farmer
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CICM (2017)
William M. Farmer
Theory Morphisms in Church's Type Theory with Quotation and Evaluation. CoRR (2017)
William M. Farmer, Qian Hu
A Formal Language for Writing Contracts. IRI (2016)
William M. Farmer
Incorporating Quotation and Evaluation Into Church's Type Theory. CoRR (2016)
William M. Farmer
Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics. CoRR (2016)
William M. Farmer
Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics. CICM (2016)
Jacques Carette, William M. Farmer, Michael Kohlhase
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM (2014)
William M. Farmer
Simple Type Theory with Undefinedness, Quotation, and Evaluation. CoRR (2014)
William M. Farmer
Andrews' Type Theory with Undefinedness. CoRR (2014)
Jacques Carette, William M. Farmer, Michael Kohlhase
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR (2014)
William M. Farmer
Meaning Formulas for Syntax-Based Mathematical Algorithms. SCSS (2014)
William M. Farmer
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation CoRR (2013)
William M. Farmer
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. MKM/Calculemus/DML (2013)
William M. Farmer, Pouya Larjani
Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation. CoRR (2013)
William M. Farmer
Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation CoRR (2013)
Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran
The MathScheme Library: Some Preliminary Experiments CoRR (2011)
Jacques Carette, William M. Farmer, Russell O'Connor
MathScheme: Project Description. Calculemus/MKM (2011)
William M. Farmer, Orlin G. Grigorov
Panoptes: An Exploration Tool for Formal Proofs. Electron. Notes Theor. Comput. Sci. 226 (2009)
Jacques Carette, William M. Farmer
A Review of Mathematical Knowledge Management. Calculemus/MKM (2009)
William M. Farmer
The seven virtues of simple type theory. J. Appl. Log. 6 (3) (2008)
Jacques Carette, William M. Farmer
High-Level Theories. AISC/MKM/Calculemus (2008)
William M. Farmer
Biform Theories in Chiron. Calculemus/MKM (2007)
Jacques Carette, William M. Farmer, Volker Sorge
A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM (2007)
Jacques Carette, William M. Farmer
Preface. Calculemus (2005)
William M. Farmer
MKM: a new interdisciplinary field of research. SIGSAM Bull. 38 (2) (2004)
William M. Farmer
Formalizing Undefinedness Arising in Calculus. IJCAR (2004)
William M. Farmer, Martin von Mohrenschildt
An Overview of a Formal Framework for Managing Mathematics. Ann. Math. Artif. Intell. 38 (1-3) (2003)
William M. Farmer
STMM: A Set Theory for Mechanized Mathematics. J. Autom. Reason. 26 (3) (2001)
William M. Farmer, Joshua D. Guttman
A Set Theory with Support for Partial Functions. Stud Logica 66 (1) (2000)
William M. Farmer
An Infrastructure for Intertheory Reasoning. CADE (2000)
William M. Farmer
A Scheme for Defining Partial Higher-Order Functions by Recursion. IWFM (1999)
William M. Farmer, Joshua D. Guttman, Vipin Swarup
Security for Mobile Agents: Authentication and State Appraisal. ESORICS (1996)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Updated System Description. CADE (1996)
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)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Context in Mathematical Reasoning and Computation. J. Symb. Comput. 19 (1-3) (1995)
William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
Proof Script Pragmatics in IMPS. CADE (1994)
William M. Farmer
A Simple Type Theory with Partial Functions and Subtypes. Ann. Pure Appl. Log. 64 (3) (1993)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Interactive Mathematical Proof System. J. Autom. Reason. 11 (2) (1993)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Reasoning with Contexts. DISCO (1993)
William M. Farmer
Theory Interpretation in Simple Type Theory. HOA (1993)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: System Description. CADE (1992)
William M. Farmer
The Kreisel Length-of-Proof Problem. Ann. Math. Artif. Intell. 6 (1-3) (1992)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Little Theories. CADE (1992)
William M. Farmer
A Unification-Theoretic Method for Investigating the k-Provability Problem. Ann. Pure Appl. Log. 51 (3) (1991)
William M. Farmer
Simple Second-order Languages for which Unification is Undecidable. Theor. Comput. Sci. 87 (1) (1991)
William M. Farmer, Ronald J. Watro
Redex Capturing in Term Graph Rewriting (Concise Version). RTA (1991)
William M. Farmer, Ronald J. Watro
Redex Capturing in Term Graph Rewriting. Int. J. Found. Comput. Sci. 1 (4) (1990)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Interactive Mathematical Proof System. CADE (1990)
William M. Farmer
A Partial Functions Version of Church's Simple Theory of Types. J. Symb. Log. 55 (3) (1990)
William M. Farmer, John D. Ramsdell, Ronald J. Watro
A Correctness Proof for Combinator Reduction with Cycles. ACM Trans. Program. Lang. Syst. 12 (1) (1990)
William M. Farmer, A. J. Kfoury
Minutes of the 4th annual LICS business meeting. SIGACT News 20 (4) (1989)
William M. Farmer
A unification algorithm for second-order monadic terms. Ann. Pure Appl. Log. 39 (2) (1988)