机械化证明

作品数：15被引量：15H指数：2
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：黄明吴文俊王志健杨争峰徐品方更多>>
相关机构：大连理工大学中国科学院兰州大学中国科学院数学与系统科学研究院更多>>
相关期刊：《兰州大学学报（自然科学版）》《课程．教材．教法》《大连理工大学学报》《中国科学：数学》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
点集拓扑学之杨忠道定理的一个机械化证明被引量：1
《中国科学：数学》2021年第1期257-288,共32页曾振柄 王建林 杨争峰 小林英恒 
国家自然科学基金(批准号:11471209和61772203)资助项目。
本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.
关键词：拓扑空间 开集 闭集 导集 杨忠道定理 机器证明 
基于新消元法勾股定理的机械化证明
《理论数学》2018年第5期475-479,共5页周亚南 
本文主要通过新消元法来对勾股定理进行机械化证明,这里的机械化证明是可以通过电脑编程进行的,这种方法也是首次的(即不同于吴方法的一种方法),同时在对本文进行证明后,希望本文可以引发后续的初等几何机械化证明的持续性工作。
关键词：新消元法 
高中数学选修课程《吴文俊与平面几何的机械化证明》的思考被引量：1
《课程教育研究》2012年第3期89-89,共1页刘丽霞 
高中数学的普通课程为高中生提供了进入高等院校学习所必需的数学基础知识，满足所有学生的共同数学需求，体现了高中教育的基础性；高中数学的选修课程旨在为高中生提供自主选择的机会，这种选择的主要依据是学生各自的兴趣和专业倾向...
关键词：高中数学 选修课程 平面几何 机械化 吴文俊 证明 数学基础知识 高中教育 
吴文俊与几何定理机械化证明
《中学课程辅导（上旬刊）》2011年第7期121-122,共2页林玉忠 
吴文俊是我国当代享誉世界的杰出数学家，人教版《普通高中课程标准实验教科书数学（必修2）》第四章圆与方程中的阅读材料“坐标法与机器证明”一文中，简单地介绍吴文俊和他的几何定理机器证明的思想。本人在教学中发现，许多中学生...
关键词：吴文俊 几何定理 机械化证明 
主编寄语
《系统科学与数学》2009年第10期I0001-I0001,共1页陈翰馥 
在举国上下庆祝新中国成立60周年之际，中国科学院系统科学研究所迎来了建所30周年．关肇直、吴文俊和许国志三位院士高瞻远瞩，在30年前就认识到系统科学的重要性，创建了系统科学研究所，并创办了系统科学在我国的第一个期刊《系统科...
关键词：系统科学 科学研究所 主编 中国科学院 机械化证明 控制理论 新中国 吴文俊 
数学定理的机械化证明被引量：1
《数学学习》2004年第2期62-64,共3页徐品方 
关键词：数学定理 机械化证明 吴文俊 自动推理 张景中 消点法 吴两法 
“机器证明”第一人——吴文俊
《数学大世界（教学导向）》2003年第1期3-3,共1页徐永忠 
吴文俊1919年生于上海,1940年毕业于上海交通大学数学系,1946年留学法国,并获得博士学位。1957年当选为中科院学部委员(即现在的院士),2000年获得我国首次颁布的国家最高科学技术奖。吴文俊博士为人谦和,性格豁达,半个世纪以来成就显著...
关键词：吴文俊 创新思想 中国传统数学 机械化证明 初等几何定理 
反演关系的机械化证明
《大连理工大学学报》2000年第1期9-10,共2页王天明 许玉霞 
国家自然科学基金资助项目 !(1 93 71 0 1 6 )
反演关系是组合论中的一个重要内容 ,其证明十分繁杂 ,又要求很高的技巧 .将近几年刚刚发展起来的证明组合恒等式的 WZ方法运用到反演关系的证明中 。
关键词：组合数学 WZ方法 反演关系 机械化证明 
一类初等几何定理的机械化证明
《兰州大学学报（自然科学版）》1997年第3期31-36,共6页谭红艳 吴尽昭 
对一类初等几何定理，通过根理想的分解，给出了一种机械化方法，利用这种方法，可恰好同时获得所有的不可约特征列．因而一类几何定理是一般真确的当且仅当其终结多项式对这些不可约特征列的余式为零．
关键词：机械化证明 初等几何 几何定理 机器证明 
我对改革数学教育的看法被引量：2
《课程．教材．教法》1993年第7期11-11,共1页吴文俊 
现在大家在研究数学教育改革问题,我的看法是既要积极,也要慎重,不可草率从事。这是因为它牵涉面很大:全国有两亿中、小学生,他们的数学素质如何。
关键词：数学教育 逻辑推理 公理系统 数学教育改革 数学素质 几何学 机械化证明 公理体系 数学直觉 几何课程 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部