Type classes for efficient exact real arithmetic in Coq

Robbert Krebbers Bas Spitters

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

real life
lightweight
computationally efficient
class labels
databases
machine learning
decision making
query language
probabilistic model
cost effective
computationally expensive