Moore: Interval Arithmetic in C++20.

Walter F. Mascarenhas

Published in: NAFIPS (2018)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
provably correct
implicit surfaces
constraint satisfaction problems
constraint satisfaction
temporal constraints
finite sets
partial derivatives
constraint programming
linear programming