Login / Signup
Affine functions and series with co-inductive real numbers
Yves Bertot
Published in:
CoRR (2006)
Keyphrases
</>
real numbers
arithmetic operations
fuzzy numbers
knowledge representation
constraint solver
interval arithmetic
affine transformation
genetic algorithm
computational intelligence
inductive learning
linear inequalities
real time
machine learning
pattern recognition
input output
functional programs