Intervals and the Origins of Calculus.

David Dennis Vladik Kreinovich Siegfried M. Rump

Published in: Reliab. Comput. (1998)

Keyphrases

real numbers
interval algebra
database systems
proof procedure
provably correct
neural network
information retrieval
knowledge base
clustering algorithm
mobile robot
temporal reasoning
temporal relations
path consistency
automated deduction
timed automata