Pages that link to "Item:Q2352505"
From MaRDI portal
The following pages link to Verified compilation of floating-point computations (Q2352505):
Displaying 4 items.
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” (Q5066604) (← links)
- Enabling floating-point arithmetic in the Coq proof assistant (Q6053846) (← links)
