Interval Computations and their Categorification
arXiv:math/0311021 · doi:10.1023/B:NUMA.0000049463.34981.c8
Abstract
By the example of the proof of Minkowski's conjecture on critical determinant we give a category theory framework for interval computation.
6 pages. Latex. Submitted to proceedings of the SCAN-2002