Login / Signup
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications.
B. Malcolm Brown
Erich Kaltofen
Shin'ichi Oishi
Siegfried M. Rump
Published in:
Computer-assisted proofs - tools, methods and applications (2009)
Keyphrases
</>
computer assisted
computer aided
computer vision
preprocessing
computational cost
data sets
data mining techniques
benchmark datasets