ઇન્સ્ટિટ્યૂટ કમ્પ્યુટર સાયન્સ, ગણિતના