网站地图 | 联系我们 | English | 意见反馈 | 主任信箱
 
首页 中心概况 新闻动态 科研进展 交流合作 人才培养 研究队伍 人才招聘 政策规章 数学交叉科学传播
学术报告
现在位置:首页 > 学术报告

Mathematical Knowledge at Scale
【2018.3.22 10:00am, N205】

【打印】【关闭】

 2018-3-15 

  Colloquia & Seminars 

  Speaker

Stephen M. Watt  (Dean of the Faculty of Mathematics, University of Waterloo)

  Title

Mathematical Knowledge at Scale

  Time

2018.3.22 10:00

  Venue

N205

  Abstract

The world's largest organism is a clonal colony of quaking aspen in Utah, with some 40,000 trunks spanning 43 hectares and massing an estimated 6,000 metric tons.  This is not a forest of individuals, but a single, living organism.  We may think of mathematical knowledge in the same way.It is the goal of the International Mathematical Knowledge Trust (IMKT) to develop a global digital mathematics library, not as a comprehensive collection of individual articles, but as an integrated knowledge base, both for human readers and machine services.This talk presents the goals of the IMKT, the direction of its first steps, challenges to be overcome, and a long-term picture of scalable mathematical knowledge integration.

  Affiliation

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

欢迎访问国家数学与交叉科学中心 
地址:北京海淀区中关村东路55号 邮编:100190 电话: 86-10-62613242 Fax: 86-10-62616840 邮箱: ncmis@amss.ac.cn