【24h】

Preface

机译:前言

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

An International Conference on Mathematics Mechanization was held from May 11 to May 13,2009, in Beijing, China, to celebrate Professor Wen-Tsun Wu's ninetieth birthday. Around a hundred and fifty people from all over the world participated. There were 70 oral and poster presentations on recent advances in symbolic computation, automated reasoning, computational topology, and the history of mathematics, among which the following twenty four plenary and invited presentations were delivered.
机译:2009年5月11日至13日在中国北京举行了一次数学机械化国际会议,以庆祝吴文俊教授诞辰90周年。来自世界各地的约一百五十人参加了。关于符号计算,自动推理,计算拓扑和数学历史的最新进展,有70个口头和海报演讲,其中包括随后的二十四次全体会议和特邀演讲。

著录项

  • 来源
    《Journal of symbolic computation》 |2012年第6期|p.583-585|共3页
  • 作者

    Xiao-Shan Gao; Deepak Kapur;

  • 作者单位

    Academy of Mathematics and Systems Science,Chinese Academy of Sciences, China;

    Department of Computer Science,University of New Mexico, United States;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号