Lyapunov equations and stability of LTI systems with maple. - Hongxia Gao; Louis Thurston; Rongdong Wang (Circuits, Signals, and Systems, 2004)