Pages that link to "Item:Q3613425"
From MaRDI portal
The following pages link to A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers (Q3613425):
Displaying 6 items.
- Floating-point arithmetic in the Coq system (Q714617) (← links)
- Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation (Q1663216) (← links)
- Proving Bounds on Real-Valued Functions with Computations (Q3541683) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Enabling floating-point arithmetic in the Coq proof assistant (Q6053846) (← links)
