Vitalsource Technologies, Inc. Mathematical Models And Methods For Ab Initio Quantum Chemistry