The following pages link to (Q5274886):
Displaying 14 items.
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- (Q4011800) (← links)
- (Q4989411) (← links)
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” (Q5066604) (← links)
- A Formal Proof of Square Root and Division Elimination in Embedded Programs (Q5195252) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Floating-point arithmetic (Q6047500) (← links)
- Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
- Finding normal binary floating-point factors efficiently (Q6156639) (← links)
- Synthesis of Rigorous Floating-Point Predicates (Q6487299) (← links)
- Accurate calculation of Euclidean norms using double-word arithmetic (Q6599993) (← links)