Type classes for efficient exact real arithmetic in Coq (Q4913763)
From MaRDI portal
scientific article; zbMATH DE number 6152231
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type classes for efficient exact real arithmetic in Coq |
scientific article; zbMATH DE number 6152231 |
Statements
9 April 2013
0 references
type classes
0 references
exact real arithmetic
0 references
type theory
0 references
\texttt{Coq}
0 references
verified computation
0 references
cs.LO
0 references
math.NA
0 references
