This repository is a supplement to a paper in collaboration with Holger Haas and David Cory (to appear shortly) on algorithms for robust quantum control. It contains Mathematica code for symbolically representing upper triangular block (UTB) matrices and symbolically computing and simplifying their time-ordered matrix exponentials. The main purpose is to verify a conjecture related to a particular UTB matrix.
