千伏

一个用于验证数值计算的C++库。本页提供了一组用于验证数值计算的库(kv库),它是用C++语言编写的。请参阅2013年春季至2007年秋季版本的Boost数据库的90%kv计算(参见英文版)。在当前版本的kv库(见3.下载和安装)中,所有与区间算法有关的程序都是最初生成的,而Boost中的一些函数仍部分用于kv library中,例如线性代数的Boost.ublas。