Login / Signup
Computer Certified Efficient Exact Reals in Coq.
Robbert Krebbers
Bas Spitters
Published in:
Calculemus/MKM (2011)
Keyphrases
</>
computationally efficient
computationally expensive
information retrieval
image segmentation
cost effective
data sets
data mining
probabilistic model
lightweight