On some formalized conservation results in arithmetic.

Peter Clote Petr Hájek Jeff B. Paris

Published in: Arch. Math. Log. (1990)

Keyphrases

special case
fuzzy sets
floating point
arithmetic operations
real time
machine learning
computer vision
decision making
image processing
optimal solution
probability distribution