This thesis explores automating the qualitative analysis of physical systems. Scientists and engineers model many physical systems with ordinary differential equations. They deduce the behavior of the system by analyzing the equations. Most realistic models are nonlinear, hence difficult or impossible to solve explicitly.
