This is a python module for handling matrices, including matrix calculation, analysis and algorithms. All of the basic calculations of matrices and many more high-level numerical methods of matrices ...

We present constraint matrix diagrams (CMDs), a novel data structure for the fully symbolic reach ability analysis of timed automata. CMDs combine matrix-based and diagram-based state space ...