Symbolic math toolbox for use with MATLAB : computation, visualization, programming (MathWorks, 1993)