#partial #numerical #arithmetic #analysis #robustness #shaman #interval

num-shaman

数值鲁棒性分析的区间算术的局部实现

由 David Himmelstrup 编写