间隔计算及其分类
Interval Computations and their Categorification
Nikolaj M. Glazunov
arXiv
2003年11月3日
通过证明闵可夫斯基对关键决定因素的猜想的例子,我们给出了一个区间计算的类别理论框架。
By the example of the proof of Minkowski's conjecture on critical determinant we give a category theory framework for interval computation.