Vitalsource Technologies, Inc. Contributions To Nonlinear Functional Analysis