Automatic programming and numerical methods in analysis