fundamental theorem of calculus
master as of 3-Sep-2014
master as of 4-Sep-2014
integration rules
ostrowski's thm
master as of 11-Sep-2014