Zonotopes and their generalizations are set representations widely used for reachability analysis. A major advantage of these set representations when compared to alternatives such as halfspace ...

The purpose of this software is to create a basic matrix manipulation library in both C++ and C. It supports matrix addition, scalar multiplication, matrix multiplication, and matrix transposition.