Using Programming to Express Mathematical Ideas