Title: Computer aided analysis of nonlinear systems