Interval

An interval is defined as

$$\mathcal{I} := \{ x \in \mathbb{R}^n \, | \, \underline{x_{i}} \leq x_{i} \leq \overline{x_{i}},\, i=1,\ldots,n \} . $$

Intervals are convex sets. CORA supports unbounded intervals by setting one or more limits to -∞ or ∞. More information in Section 2.2.1.2 in the CORA manual.

Website by Matthias Althoff, Niklas Kochdumper, Mark Wetzlinger, and Tobias Ladner