重返巴黎 2022-06-18

【 配乐朗诵 】 空空的我来了 正如我空空的走 我空空的两手 捧起南天的白云   这远郊的花红 是记忆中的晚霞 黄昏后的星辰 ...

(1652)次阅读|(1)个评论

[转载]十载同行 一日难分 ——我与《中国科学：信息科学》 2020-09-28

       【 2020年是《中国科学》和《科学通报》创刊70周年， 《中国科学》杂志社 特别策划了 “我与《中国科学》/《科学通报 ...

(2771)次阅读|(0)个评论

符号与代数计算：数学机械化的基础 2019-07-20

7月15日至18日，由国际计算机学会（ACM）和北京航空航天大学主办的第44届符号与代数计算国际研讨会（ 44th International Symposium on Symbolic and Algebrai ...

(4227)次阅读|(1)个评论

吴文俊：中国古代数学对世界文化的伟大贡献 2019-07-07

公元前221年, 秦始皇灭六国, 建立了中国历史上第一个中央集权的封建国家. 汉承秦制, 自秦至西汉中期这两百来年间, 是新兴地主阶级专政巩固发展与上升的时期, ...

(15412)次阅读|(20)个评论

纪念吴文俊先生诞辰一百周年 2019-05-12

算法数学 —— 机械化数学的基石 王东明   吴文俊先生是高瞻远瞩、洞悉未来的科学大家。他的研究工作、科学精神、学术成就和学术思想已载入科学 ...

(11326)次阅读|(4)个评论

麦卡锡问答：什么是人工智能？ 2019-01-03

麦卡锡问答：什么是人工智能？ 约翰·麦卡锡 一、基本问题 问：什么是人工智能？ 答：人工智能是研制智能机器尤其是智能计算机程序 ...

(11895)次阅读|(4)个评论

AISC——人工智能与符号计算 2018-09-20

9月16日至19日，由北京航空航天大学和北航苏州创新研究院主办的第13届国际人工智能与符号计算会议（13th International Conference on Artificial Intelligenc ...

(5033)次阅读|(0)个评论

查看更多