Interval Computations and their Categorification
Nikolaj M. Glazunov
math.CTarXiv:math/0311021
Abstract
By the example of the proof of Minkowski's conjecture on critical determinant we give a category theory framework for interval computation.
Create a lesson
Related papers
How to prove equations using diagrams: A categorical and operational semantics for e-graphs
Evan Patterson
A topological Mundici representation theorem
Yifan Meng, Lili Shen, Dexue Zhang
The tensor triangular geometry of valuation domains
Tobias Barthel, Drew Heard, Beren Sanders et al.
Localisations of rings of weak global dimension at most one
Jan Šťovíček, Florian Tecklenburg
Higher zeroes in pointed infinity-categories
Thomas Rush Brown
Higher-order many-sorted categorial algebras via generalized hep-derivors
J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora et al.