Vitalsource Technologies, Inc. Grobner Bases And The Computation Of Group Cohomology