报到之日,湖南师大张垚、冷岗松、苏州大学唐复苏、北京联大石焕南,徐州师院张晗方、滨州师专赵长健、湖北大学汪江松等教授、副教授来了、中国初等数学研究会理事长杨世明特级教师来了,张小明、文家金、唐立华、司徒凌波、宋庆、陈漾、戴汉有、孙建斌、贝嘉禄等不等式研究小组成员来了,其他小组成也从各地纷纷赶来了。会议开幕之日,参加会议的正式成员有40人,吴县市有关领导对会议的召开表示热烈的祝贺,大会收到中国初等数学研究理事会、苏州大学等单位和其他有关个人的贺信、贺电,杨学枝老师致开幕词。随后与会代表会议听取了张垚教授、冷岗松教授、唐复苏教授、汪江松副教授分别作的学术报告。7月24日上午午,杨路教授作了《几何不等式的机器证明》的学术报告,並现场演示了用BOTTEMA软件证明不等式的过程,一些小组成员现场提出不等式猜想来让机器来判断是否成立,现场演示表明用此软件能在几秒钟到几分钟内就可以判定该不等式成立或不成立,而我们知道以前要人工证明某个几何不等式猜想成立或举出其不成立的反例往往需要较长的时间,这使得我们感到十分惊喜。当然,机器证明并非十全十美,一是其证明过程不能像人工证明那样一目了然,二是对极个别的某些类型不等式还不能作出判定,因此有待进一步完善。7月24日25日下午,与会代表分成解析不等式和几何不等式两个小组进行对学术报告和大会收到的38篇学术论文和其他有关不等式研究的问题进行了宣读、交流和讨论。其中杨学枝、石焕南、文家金、张晗方、唐立华、褚小光、吴跃生、刘保亁、刘健、张小明、尹华焱等人的论文受到与会者的好评。与会者还就吴跃生老师作的《关于中国不等式研究会章程(草案)》的报告展开了讨论。7月26日上午由褚小光先生致闭幕词,他说“本次大会取得了很大的成绩,圆满闭幕,同时希望不等式研究学术会议每两年一次继续开N次!”然后与会人员一起游览了太湖风景区。
〈全文完〉
评论