Programs related to number theory