报告主题：借助计算机证明不等式
报告人： Man Kam Kwong 教授 （香港理工大学）
报告时间：2019年6月19日（周三）10:00
报告地点：校本部G507
邀请人：刘见礼
报告摘要：Inequalities are useful in all areas of analysis. They are usually not studied in their own rights, but are used as tools in other areas, for example, to obtain error estimates in numerical studies, to prove convergence of sequences and series, to establish existence of solutions of differential equations, etc. Proving inequalities rigorously is an art because there are no silver bullets that work in all situations. The speaker will describe some of the tools used in his recent work, especially those that involves the use of computer and numerical software.Topics include the use of monotone functions, the classical Sturm Theorem for algebraic polynomials, trigonometric inequalities, and the monotone L’Hˆopital rule.
欢迎教师、学生参加！