Search Results - "Farmer, William M."

Heat capacity of the highly frustrated triangulated Kagome lattice Cu9Cl2(cpa)6 by Farmer, William M., Skinner, Samuel F., ter Haar, Leonard W.

“…Magnetic field-dependent heat capacity measurements on the tunable molecular magnet Cu9Cl2(cpa)6, a metal organic framework (MOF) based on copper(II) ions and…”
Get full text

Metal organic framework Cu9Cl2(cpa)6 as tunable molecular magnet by Hamilton, Heather S. C., Farmer, William M., Skinner, Samuel F., ter Haar, Leonard W.

“…Chemical modifications of the magnetic metal organic framework (MOF) Cu9X2(cpa)6·42H2O (X = F, Cl, Br; cpa = anion of 2-carboxypentonicacid) have been…”
Get full text

Magnetocaloric effect in the triangulated Kagome lattice Cu9Cl2(cpa)6 by Skinner, Samuel F., Coro, Ronald A., Farmer, William M., Lovett, Jack H., Lupton, Joseph C., Moses, Jacob A., Ortolano, Brendon M., Reid, Lauryn R., Richardson, Savannah D., Taylor, Jesse D., ter Haar, Leonard W.

“…The spin frustrated magnetism of the 2-D molecular magnet material Cu9Cl2(cpa)6 (cpa = anion of 2-carboxypentonic acid), abbreviated as CPA, has been the…”
Get full text

The seven virtues of simple type theory by Farmer, William M.

“…Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical…”
Get full text

Capsule endoscopy in clinical practice by Farmer, William M, Di Palma, Jack A

“…Capsule endoscopy is a new technology that is changing the diagnostic endoluminal approach to a variety of disorders and conditions. Initially introduced for…”
Get more information

Do gastroenterologists notify polyp patients that family members should have screening? by Valantas, Michael R., DiPalma, Jack A., Farmer, William M.

Get full text

An Overview of a Formal Framework for Managing Mathematics by Farmer, William M, Mohrenschildt, Martin v

“…Mathematics is a process of creating, exploring, and connecting mathematical models. This paper presents an overview of a formal framework for managing the…”
Get full text

Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge by Carette, Jacques, Farmer, William M., Kohlhase, Michael, Rabe, Florian

Get full text

STMM: A Set Theory for Mechanized Mathematics by Farmer, William M

“…Although set theory is the most popular foundation for mathematics, not many mechanized mathematics systems are based on set theory. Zermelo-Fraenkel (ZF) set…”
Get full text

Do Gastroenterologists notify polyp patients that family members should have screening? by VALANTAS, Michael R, FARMER, William M, DIPALMA, Jack A

“…The objective of this study was to determine whether patients found to have adenomatous polyps or cancer were notified that their relatives should have…”
Get full text

A Set Theory with Support for Partial Functions by Farmer, William M., Guttman, Joshua D.

“…Partial functions can be easily represented in set theory as certain sets of ordered pairs. However, classical set theory provides no special machinery for…”
Get full text

Reasoning about Partial Functions with the Aid of a Computer by Farmer, William M.

“…Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a…”
Get full text

A partial functions version of Church's simple theory of types by Farmer, William M.

“…Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's…”
Get full text

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory by Farmer, William M, Zvigelsky, Dennis Y

“…Alonzo is a practice-oriented classical higher-order logic that extends first-order logic and that admits undefined expressions. Named in honor of Alonzo…”
Get full text

A New Style of Proof for Mathematics Organized as a Network of Axiomatic Theories by Farmer, William M

“…A theory graph is a network of axiomatic theories connected with meaning-preserving mappings called theory morphisms. Theory graphs are well suited for…”
Get full text

Incorporating Quotation and Evaluation Into Church's Type Theory by Farmer, William M

“…${\rm CTT}_{\rm qe}$ is a version of Church's type theory that includes quotation and evaluation operators that are similar to quote and eval in the Lisp…”
Get full text

Towards Specifying Symbolic Computation by Carette, Jacques, Farmer, William M

“…Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms…”
Get full text

Leveraging the Information Contained in Theory Presentations by Carette, Jacques, Farmer, William M, Sharoda, Yasmine

“…A theorem prover without an extensive library is much less useful to its potential users. Algebra, the study of algebraic structures, is a core component of…”
Get full text

Theory Morphisms in Church's Type Theory with Quotation and Evaluation by Farmer, William M

“…H. Geuvers et al., eds, Intelligent Computer Mathematics (CICM 2017), Lecture Notes in Computer Science, Vol.10383, pp. 147-162, Springer, 2017 ${\rm CTT}_{\rm…”
Get full text

Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics by Farmer, William M

“…${\rm \small CTT}_{\rm qe}$ is a version of Church's type theory that includes quotation and evaluation operators that are similar to quote and eval in the…”
Get full text