12 citations · 44 across the 16 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018
Biform Theories: Project Description
Jacques Carette, William M. Farmer, Yasmine Sharoda
A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for specifying and rea…
cs.LO2018
A New Style of Proof for Mathematics Organized as a Network of Axiomatic Theories
William M. Farmer
A theory graph is a network of axiomatic theories connected with meaning-preserving mappings called theory morphisms. Theory graphs are well suited for organizing large bodies of m…
cs.LO2018
HOL Light QE
Jacques Carette, William M. Farmer, Patrick Laskowski
We are interested in algorithms that manipulate mathematical expressions in mathematically meaningful ways. Expressions are syntactic, but most logics do not allow one to discuss s…