Computational Nonlinear Functional Analysis for Nonlinear Systems