https://hal.archives-ouvertes.fr/hal-01767263
Raw File
Tip revision: b1e197c030e66d588987087a193fc3a88d8bd5ed authored by Software Heritage on 16 April 2018, 09:06:18 UTC
hal: Deposit 120 in collection hal
Tip revision: b1e197c
_CoqProject
-R . agm
agmpi.v arcsinh.v atan_derivative_improper_integral.v
elliptic_integral.v filter_Rlt.v generalities.v
rounding_big.v computing.v rounding_correct.v alg2.v
rounding2.v
back to top