DMCA

Type classes for efficient exact real arithmetic (2011)

by Robbert Krebbers , Bas Spitters
Venue:IN COQ. CORR ABS/1106.3448
Citations:10 - 0 self