Interval computations and their categorification

DOI10.1023/B:NUMA.0000049463.34981.C8MaRDI QIDQ2387757zbMATH OpenFDO

Authors Nikolaj M. Glazunov

Publication date 5 September 2005

Published in Numerical Algorithms (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0311021

zbMATH Keywords

category theorycritical determinantinterval computationMinkowski conjecture

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Abstract: By the example of the proof of Minkowski's conjecture on critical determinant we give a category theory framework for interval computation.

Cited in

(4)

• Mechanising the theory of intervals using OBJ3
• Interval-valued computations and their connection with PSPACE
• scientific article; zbMATH DE number 67122 (Why is no real title available?)
• scientific article; zbMATH DE number 808820 (Why is no real title available?)

This page was built for publication: Interval computations and their categorification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2387757)