Vitalsource Technologies, Inc. Computational Excursions In Analysis And Number Theory