Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.

Published in: FLOPS (2008)

Keyphrases

real life
real world
floating point
concept formation
artificial neural networks
concept learning
arithmetic operations
genetic algorithm
artificial intelligence
computer vision
decision trees
data mining
probability distribution
graphical models
inductive logic programming
inductive inference
neural network