Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Ariel Kellison
2 results
An Intuitionistic Formalization of The Elements of Euclid Book I
by Ariel Kellison, Mark Bickford
November 26, 2019
Implementing Euclid's Straightedge and Compass Constructions in Type Theory
| cite »
by Ariel Kellison, Mark Bickford, Robert L. Constable
2018