D.11.1 Control theory background An overview of the theory D.11.2 control_lib Algebraic analysis tools for System and Control Theory D.11.3 jacobson_lib Algorithms for Smith and Jacobson Normal Form D.11.4 findifs_lib Tools for the finite difference schemes