William M. Farmer

Available identifiers

zbMath Open farmer.william-mMaRDI QIDQ174773

List of research outcomes

Publication	Date of Publication	Type
Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory	2023-12-09	Paper
Redex capturing in term graph rewriting (concise version)	2022-12-09	Paper
Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge	2021-04-19	Paper
Leveraging the information contained in theory presentations	2021-01-20	Paper
Towards specifying symbolic computation	2020-01-22	Paper
IMPS: An updated system description	2019-01-15	Paper
Biform theories: project description	2018-10-18	Paper
HOL Light QE	2018-10-04	Paper
A new style of mathematical proof	2018-08-17	Paper
A New Style of Proof for Mathematics Organized as a Network of Axiomatic Theories	2018-06-03	Paper
Incorporating quotation and evaluation into Church's type theory	2018-05-30	Paper
Theory morphisms in Church's type theory with quotation and evaluation	2017-07-21	Paper
Formalizing mathematical knowledge as a biform theory graph: a case study	2017-07-21	Paper
Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics	2016-08-30	Paper
MKM	2016-07-18	Paper
Realms: A Structure for Consolidating Knowledge about Mathematical Theories	2014-08-07	Paper
Panoptes	2014-06-27	Paper
Simple Type Theory with Undefinedness, Quotation, and Evaluation	2014-06-25	Paper
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation	2013-08-09	Paper
Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation	2013-05-27	Paper
MathScheme: Project Description	2011-07-29	Paper
Andrews' Type Theory with Undefinedness	2011-03-30	Paper
A Review of Mathematical Knowledge Management	2009-07-09	Paper
High-Level Theories	2009-01-27	Paper
The seven virtues of simple type theory	2008-09-23	Paper
A Rational Reconstruction of a System for Experimental Mathematics	2007-11-28	Paper
Biform Theories in Chiron	2007-11-28	Paper
Automated Reasoning	2007-09-25	Paper
An overview of a formal framework for managing mathematics	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2767940	2002-02-14	Paper
STMM: A set theory for mechanized mathematics	2001-11-07	Paper
A set theory with support for partial functions	2001-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q2723412	2001-07-05	Paper
The Kreisel length-of-proof problem	1997-05-13	Paper
A simple type theory with partial functions and subtypes	1996-05-13	Paper
A unification-theoretic method for investigating the \(k\)-provability problem	1992-06-25	Paper
Simple second-order languages for which unification is undecidable	1991-01-01	Paper
REDEX CAPTURING IN TERM GRAPH REWRITING	1990-01-01	Paper
A partial functions version of Church's simple theory of types	1990-01-01	Paper
A unification algorithm for second-order monadic terms	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: William M. Farmer