Bounding the dimension of quantum systems with sequential measurements. The optimizations are obtained with MOSEK and can be changed whenever necessary. This repository has been used in the folowwing ...