10月26日上午，应我校数学与信息科学学院邀请，复旦大学数学系教授、博士生导师张锦豪在该院作了一场题为“数学与计算机”的学术报告。张教授在报告中主要讲了软件中的数学和数学软件的一些问题。
张教授首先指出，随着社会的发展，数学的应用已由传统的物理、化学等领域扩展到软件设计等高新领域中。我国拓扑“四大天王”之一的吴文俊教授就在软件设计方面作出了突出贡献。他介绍了数学文字编辑软件、数学计算软件、数学证明软件和数学分析软件等四个数学软件，并重点讲了数学证明软件。我国数学家已在计算机推理方面取得了举世瞩目的成就。目前，多项式因式分解等不少经典的数学求解证明体都可以用计算机解决，并且计算机在证明中还能智能地选择最优算法。张教授还演示了计算机证明西姆松定理的过程，引起了在场师生极大兴致。
