2019月5月30日9:00-12:00,我院邀请上海大学数学系曾振柄教授来我校学术交流,作了题为“从教育数学的角度探讨行列式教学”的精彩学术报告,并就教育数学思想指导下的高等数学教学应用与实践与我院师生进行了热烈的讨论,在场的教师和学生都收获颇多。
曾振柄,男,1963年4月生,数学博士。上海大学数学系教授、博士生导师。
曾振柄教授长期从事数学机械化、符号计算、人工智能软件设计和生物信息处理技术等方向的研究和教学工作。合作提出多项式完全判别系统方法,不等式定理的机器证明和自动发现算法,解决若干组合几何全局最优化公开问题,给出三次微分系统弱中心问题、机器人反运动学问题、Piano Mover's机器人运动规划问题的符号解,参与设计开发基于符号计算、动态几何和定理机器证明的智能教学软件。在国内外学术刊物和会议上发表论文70余篇。承担国家重点基础研究发展计划(973)"实几何与实代数的高效能算法(2004CB318003)"、"可生存的海量信息系统软件设计理论(2005CB321094)"、国家自然科学基金"组合几何全局最优化问题的机械化解法(10471044)"等项目研究工作。完成973计划、攀登计划、863计划、科学院九五重点计划、国家自然科学基金、教育部留学择优支持基金等多项研究任务。
主要研究领域:系统科学;符号计算;计算机科学:计算机软件,人工智能。