Integration: formal and numeric approaches