The CoStLy C++ Class Library.

Published in: Numerical Validation in Current Hardware Architectures (2008)