Formal study in Coq of pi computations using arithmetic-geometric means - Archive ouverte HAL Access content directly
Software Year :

Formal study in Coq of pi computations using arithmetic-geometric means

(1)
1
Yves Bertot
473 View
25 Download

Share

Gmail Facebook Twitter LinkedIn More