A certified, corecursive implementation of exact real numbers.

Alberto Ciaffaglione Pietro Di Gianantonio

Published in: Theor. Comput. Sci. (2006)

Keyphrases

real numbers
machine learning
efficient implementation
computer vision
decision trees
constraint satisfaction problems
implementation details
arithmetic operations