Stephen M. Watt 谈 “全球数字数学图书馆” 计划的最新进展

luyuanhong

Stephen M. Watt 谈 “全球数字数学图书馆” 计划的最新进展

来源：国家数学与交叉科学中心

2016年11月15日上午，加拿大滑铁卢大学Stephen M. Watt教授应国家数学与交叉科学中心邀请
在数学院南楼作了题为“Challenges in Building a Global Digital Mathematics Library”
的综合报告。数学院的部分科研人员以及研究生共计40余人出席了报告会。报告会由数学与系统
科学研究院副院长、交叉中心副主任高小山研究员主持。

“全球数字数学图书馆 (GDML) ”是由国际数学联盟（IMU）在2014数学家大会期间正式启动的
国际合作计划。 该计划旨在整合已有数学数字资源, 比如 arxiv, jstor, EuDML, zbMATH, NUMDAM
等, 从而建立一个便于全球数学工作者更好地查询自己科研成果的原创性与应用性的知识系统。
Stephen M. Watt 教授在报告中介绍了该计划的发起动机、历史背景、基本架构与远景目标，并
重点讨论了与该计划相关的数学与计算机科学方面的挑战性问题, 比如数学证明有效性的自动检
验, 数学文档尤其数学符号与公式的高效电子化与分析等。该报告还谈及了计算机代数系统与符
号计算在计划实施中的重要性。报告会结束后，高小山研究员向Stephen M. Watt教授颁发了讲座
证书。

在其访问期间，Stephen M. Watt 教授与数学机械化重点实验室的高小山研究员、支丽红研究员
和陈绍示博士，在关于计算机数学方面的诸多问题开展了讨论，并制定了进一步的合作研究计划。

Stephen M. Watt 教授现任加拿大滑铁卢大学数学学院院长，他的研究涉及符号计算，计算机程
序语言与编译，文档分析与知识管理等。他曾就职于 IBM Watson 研究中心与法国计算机与自动
化研究所等知名科研单位，并且是著名数学软件MAPLE的创立者之一。