搜索到25篇“ 机械化证明“的相关文章
- 信息科学技术学术著作丛书 高级语言程序变换的机械化证明导论
- 随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计...
- 何炎祥
- 点集拓扑学之杨忠道定理的一个机械化证明被引量：1
- 2021年
- 本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.
- 曾振柄王建林杨争峰小林英恒
- 关键词：闭集导集杨忠道定理机器证明
- 基于新消元法勾股定理的机械化证明
- 2018年
- 本文主要通过新消元法来对勾股定理进行机械化证明,这里的机械化证明是可以通过电脑编程进行的,这种方法也是首次的(即不同于吴方法的一种方法),同时在对本文进行证明后,希望本文可以引发后续的初等几何机械化证明的持续性工作。
- 周亚南
- 数学定理的机械化证明被引量：1
- 2004年
- 徐品方
- 关键词：数学定理机械化证明
- q-恒等式的机械化证明
- q-恒等式的证明历来受到人们的广泛关注,人们用各种各样的方法研究了q-超几何级数恒等式,对它的研究方法逐渐形成了两大类:变换的方法和反演的方法.现代计算机科学技术飞速发展,这为q-恒等式证明的研究开辟了新的前景,1990...
- 黄玉娟
- 关键词：消元法机械化证明
- 文献传递
- 弹性力学通解的完备性的机械化证明方法被引量：2
- 2001年
- 在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.
- 陆斌张鸿庆
- 关键词：弹性力学通解
- 反演关系的机械化证明
- 2000年
- 反演关系是组合论中的一个重要内容 ,其证明十分繁杂 ,又要求很高的技巧 .将近几年刚刚发展起来的证明组合恒等式的 WZ方法运用到反演关系的证明中 。
- 王天明许玉霞
- 关键词：组合数学WZ方法反演关系机械化证明
- 一类初等几何定理的机械化证明
- 1997年
- 对一类初等几何定理，通过根理想的分解，给出了一种机械化方法，利用这种方法，可恰好同时获得所有的不可约特征列．因而一类几何定理是一般真确的当且仅当其终结多项式对这些不可约特征列的余式为零．
- 谭红艳吴尽昭
- 关键词：机械化证明初等几何几何定理机器证明
- 重心坐标在几何定理机械化证明中的应用
- 1991年
- 采用重心坐标系用数值并行法对几何定理的机械化证明进行讨论,并给出五个平面几何定理的新证明。
- 黄明
- 关键词：几何定理机械化
- 重心坐标应用于几何定理的机械化证明
- 1989年
- 用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。
- 黄明
- 关键词：几何定理
相关作者
- 黄明
- 作品数：2被引量：0H指数：0
- 供职机构：南京航空航天大学
- 研究主题：几何定理 机械化证明 机械化 NAGEL
- 曾振柄
- 作品数：88被引量：309H指数：10
- 供职机构：上海大学理学院数学系
- 研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
- 王天明
- 作品数：1被引量：0H指数：0
- 供职机构：海南师范学院
- 研究主题：机械化证明 组合数学 组合恒等式
- 刘丽霞
- 作品数：3被引量：1H指数：1
- 供职机构：上海中学
- 研究主题：选修课程 高中数学 高中教育 机械化证明 机械化
- 马娜
- 作品数：7被引量：3H指数：1
- 供职机构：青岛科技大学
- 研究主题：船用 测绘 海洋测绘 高压气体 信号线
