...在正文的章节中，也多次使用了这些结果．可见，吴的工作是这篇文章的出发点和基础．这篇文 章是“阿蒂亚一辛格（Atiyah-Singer）指标定理”的前奏． 吴文俊在数学机械化的工作首先得到国际上的重视是1984年．1986年吴在国际数学家大会上 做关于中国数学史的报...
基于32个网页-相关网页
atiyah singer index theorem 阿奇娅 ; 辛格指数定理
应用推荐
模块上移
模块下移
不移动