Affine functions and series with co-inductive real numbers.
Yves BertotPublished in: Math. Struct. Comput. Sci. (2007)
Keyphrases
- real numbers
- arithmetic operations
- fuzzy numbers
- functional programs
- interval arithmetic
- knowledge base
- linear inequalities
- image registration
- computer vision
- quantifier free
- affine invariant
- inductive learning
- knowledge representation
- affine transformation
- inductive logic programming
- artificial neural networks
- inductive reasoning
- multiscale
- functional language
- image sequences
- neural network
- piecewise affine