首页 | 本学科首页   官方微博 | 高级检索  
     

数学机械化研究中心成立
作者单位:北京中关村中国科学院系统科学研究所
摘    要:为加强我国数学机械化研究,建立良好的研究环境,在国家科委大力支持下,中国科学院批准系统科学研究所建立数学机械化研究中心.研究中心主任吴文俊教授,副主任吴文达教授.研究中心成立大会于1990年8月8日在北京科学会堂隆重举行.人类社会正快速进入利用机器实现部分脑力劳动的时代.数学研究是典型的脑力劳动.利用计算机实现数学研究的机械化是科学家们长期为之奋斗的目标.

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号