Programmatic solutions of mathematical problems