Description
Results from interval methods can be displayed as boxes, pavings, and related visual structures. This helps users inspect verified computations and set-based results more clearly.
It is a visualization support extension for interval analysis. It helps display results but does not decide whether a model is correct.