"MATH-MATIC"@cs .