Thick ellipsoids were recently introduced by the authors to represent uncertainty in state variables of dynamic systems. not only in terms of guaranteed outer bounds but also in terms of an inner enclosure that belongs to the true solution set with certainty. Because previous work has focused on the definition and computationally efficient implementation of arithmetic operations and e... https://www.roneverhart.com/Precis-Vodka/