Volgen
Ariel Kellison
Titel
Geciteerd door
Geciteerd door
Jaar
LAProof: A library of formal proofs of accuracy and correctness for linear algebra programs
AE Kellison, AW Appel, M Tekriwal, D Bindel
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH), 36-43, 2023
10*2023
VCFloat2: floating-point error analysis in Coq
A Appel, A Kellison
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
82024
Verified numerical methods for ordinary differential equations
AE Kellison, AW Appel
International Workshop on Numerical Software Verification, 147-163, 2022
82022
Implementing Euclid’s straightedge and compass constructions in type theory
A Kellison, M Bickford, R Constable
Annals of Mathematics and Artificial Intelligence 85, 175-192, 2019
82019
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method
M Tekriwal, AW Appel, AE Kellison, D Bindel, JB Jeannin
International Conference on Intelligent Computer Mathematics, 206-221, 2023
62023
Global stochastic optimization of stellarator coil configurations
S Glas, M Padidar, A Kellison, D Bindel
Journal of Plasma Physics 88 (2), 905880208, 2022
62022
Towards Verified Rounding Error Analysis for Stationary Iterative Methods
A Kellison, M Tekriwal, JB Jeannin, G Hulette
2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC …, 2022
22022
Numerical Fuzz: A Type System for Rounding Error Analysis
AE Kellison, J Hsu
arXiv preprint arXiv:2405.04612, 2024
2024
A machine-checked direct proof of the Steiner-lehmus theorem
A Kellison
Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022
2022
Formal Methods-based Certification Frameworks for Scientific Computing Applications.
G Hulette, J Bender, S Pollard, H Thornquist, A Kellison
Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2021
2021
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–10