Ariel Kellison

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Top Venues

Ann. Math. Artif. Intell.

Publications

Andrew W. Appel, Ariel Kellison
VCFloat2: Floating-Point Error Analysis in Coq. CPP (2024)
Ariel Kellison
A machine-checked direct proof of the Steiner-lehmus theorem. CPP (2022)
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. Correctness@SC (2022)
Ariel Kellison
A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem. CoRR (2021)
Ariel Kellison, Mark Bickford, Robert L. Constable
Implementing Euclid's straightedge and compass constructions in type theory. Ann. Math. Artif. Intell. 85 (2-4) (2019)