MatLab’s Symbolic Toolbox