30 citations · 87 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 30 cited
Type classes for efficient exact real arithmetic in Coq
Robbert Krebbers, Bas Spitters
Floating point operations are fast, but require continuous effort on the part of the user in order to ensure that the results are correct. This burden can be shifted away from the…
cs.LO2011★ 7 cited
Computer certified efficient exact reals in Coq
Robbert Krebbers, Bas Spitters
Floating point operations are fast, but require continuous effort on the part of the user in order to ensure that the results are correct. This burden can be shifted away from the…