E-LIB Suche - Ergebnisse für: Kellison, Ariel

1

VCFloat2: Floating-Point Error Analysis in Coq:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Appel, Andrew ; Kellison, Ariel - p. 14-29 , 2024

Link: https://dl.acm.org/doi/1..

2

Towards Verified Rounding Error Analysis for Stationary Ite..:

, In: 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness),

Kellison, Ariel ; Tekriwal, Mohit ; Jeannin, Jean-Baptiste. - p. 10-17 , 2022

Link: https://doi.org/10.1109/..

3

Global stochastic optimization of stellarator coil configur..:

Glas, Silke ; Padidar, Misha ; Kellison, Ariel.
Journal of Plasma Physics. 88 (2022) 2 - p. , 2022

Link: https://doi.org/10.1017/..

4

A machine-checked direct proof of the Steiner-lehmus theore:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Kellison, Ariel - p. 265-273 , 2022

Link: https://dl.acm.org/doi/1..

5

Implementing Euclid's straightedge and compass construction..:

Kellison, Ariel ; Bickford, Mark ; Constable, Robert
Annals of Mathematics and Artificial Intelligence. 85 (2018) 2-4 - p. 175-192 , 2018

Link: https://doi.org/10.1007/..

6

Numerical Fuzz: A Type System for Rounding Error Analysis:

Kellison, Ariel E. ; Hsu, Justin
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1954-1978 , 2024

Link: https://doi.org/10.1145/..

7

Verified Correctness, Accuracy, and Convergence of a Statio..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Tekriwal, Mohit ; Appel, Andrew W. ; Kellison, Ariel E... - p. 206-221 , 2023

Link: https://doi.org/10.1007/..

8

LAProof: A Library of Formal Proofs of Accuracy and Correct..:

, In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH),

Kellison, Ariel E. ; Appel, Andrew W. ; Tekriwal, Mohit. - p. 36-43 , 2023

Link: https://doi.org/10.1109/..

9

Verified Numerical Methods for Ordinary Differential Equati..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Kellison, Ariel E. ; Appel, Andrew W. - p. 147-163 , 2022

Link: https://doi.org/10.1007/..

10

Global Stochastic Optimization of Stellarator Coil Configur..:

Glas, Silke ; Padidar, Misha ; Kellison, Ariel.
http://arxiv.org/abs/2110.07464. , 2021

Link: http://arxiv.org/abs/211..

11

A Machine-Checked Direct Proof of the Steiner-Lehmus Theore:

Kellison, Ariel
http://arxiv.org/abs/2112.11182. , 2021

Link: http://arxiv.org/abs/211..

12

VCFloat2: Floating-point Error Analysis in Coq:

Andrew W. Appel ; Ariel E. Kellison
doi:10.5281/zenodo.7312377. , 2022

Link: https://zenodo.org/recor..