Dynamics of infectious disease in vivo is described by coupled differential equations. Stability analysis of the complicated systems is difficult without computer calculation, while stability analysis is, in general, important to investigate qualitative behaviour of models. Liu analyzes stability of systems describing HIV dynamics in vivo with a symbolic calculation software. The same method is used for stability analysis of a mathematical model of malaria.