A-S定理相关硕士博士期刊学术论文

本文描述一个形式算法来证明Ｄｉｒａｃ算子的局部指标定理，并指出算法的魔力需附上一个逻辑的证明，在这种理解下，可看出Ｇｅｔｚｌｅｒ的证明有一些缺陷。......