Function Interval Arithmetic.

Jan Duracz Amin Farjudian Michal Konecný Walid Taha

Published in: ICMS (2014)

Keyphrases

interval arithmetic
constraint propagation
real numbers
provably correct
partial derivatives
learning algorithm
three dimensional