Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp ... or: Hammering Some Sense into : ieee-floating-point.

Marco Antoniotti

Published in: ELS (2020)

Keyphrases

floating point
interval arithmetic
floating point arithmetic
fixed point
floating point unit
instruction set
constraint propagation
image processing
image sequences
state space
np complete
image restoration
real numbers