论文部分内容阅读
本文描述一个形式算法来证明Ｄｉｒａｃ算子的局部指标定理，并指出算法的魔力需附上一个逻辑的证明，在这种理解下，可看出Ｇｅｔｚｌｅｒ的证明有一些缺陷。
简论局部指标定理的证明
【摘 要】
：
本文描述一个形式算法来证明Ｄｉｒａｃ算子的局部指标定理，并指出算法的魔力需附上一个逻辑的证明，在这种理解下，可看出Ｇｅｔｚｌｅｒ的证明有一些缺陷。
【机 构】
：
中国科学院数学研究所,100080
【出 处】
：
数学研究与评论
【发表日期】
：
1999年3期
其他文献
<正>回音壁贵州省高级人民法院院长韩德洋:贵州法院将充分发挥审判职能作用,全面提升审判质效和公信力,坚持司法为民,全面提高民生司法保障水平,继续深化司法体制改革,全面落
摘 要：JSP（Java Server Pages）是由Sun Microsystems公司倡导、许多公司参与一起建立的一种动态网页技术标准。JSP技术有点类似ASP技术，它是在传统的网页HTML文件（*.htm，*.html）中插入Java程序段（Scriptlet）和JSP标记（tag），从而形成JSP文件（*.jsp）。用JSP开发的Web应用是跨平台的，即能在Linux下运行，也能在其他操