A System for Doing Mathematics by Computer.