2 citations · 2 across the 3 of their papers we have counts for
3 papers · 1 filter
Leveraging the Information Contained in Theory Presentations
Jacques Carette, William M. Farmer, Yasmine Sharoda
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 such libraries. Algebra…
Building on the Diamonds between Theories: Theory Presentation Combinators
Jacques Carette, Russell O'Connor, Yasmine Sharoda
To build a large library of mathematics, it seems more efficient to take advantage of the inherent structure of mathematical theories. Various theory presentation combinators have…
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…