A computational approach to nonlinear system analysis