Machine Checked Proof for Some Integral Inequalities
*敬轩 方 (中国科学院数学与系统科学研究院)
洪波 李 (中国科学院数学与系统科学研究院)
We give some examples of mathematical analysis and check the proof by a program we write in Maple and illustrate its method. The program module we write can automatically apply Cauchy's mean value theorem, triangle inequality, Holder's inequality, Schwartz inequality and Newton-Leibniz formula. Besides, this module can correct some wrong inequalities.