李涛

作品数：7被引量：4H指数：1
导出分析报告
供职机构：天津城建大学更多>>
发文主题：机器证明复数法几何定理CMPP复系数更多>>
发文领域：自动化与计算机技术理学文化科学建筑科学更多>>
发文期刊：《中等数学》《计算机学报》《计算机研究与发展》《科技导报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
几何定理机器证明复系数质点法的改进及其应用被引量：2
《计算机学报》2015年第8期1640-1647,共8页李涛 邹宇 张景中 
国家自然科学基金(11001228;11326212);国家"九七三"重点基础研究发展规划项目基金(2011CB302412);国家自然科学基金-广东省联合基金项目(U1201252);广州市属高校科研计划(2012A019)资助
复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复系数质点法仍不能有效地处理一些非线性构造型几何命题.为此,该文在原有工作的基础上,对原复系数质点法...
关键词：几何自动推理 可读机器证明 构造型几何命题 复系数质点法 CMPP 
基于复数法的几何定理可读机器证明
《计算机研究与发展》2013年第9期1963-1969,共7页李涛 张景中 
国家"九七三"重点基础研究发展计划基金项目(2011CB302412);国家自然科学基金项目(11001228)
已有的机器证明方法在处理一些涉及大规模符号运算的几何问题时,常因算法复杂度过高或机器能力的限制,有时并不能在合理时间内实现可读机器证明.故提出了复数法这一新的几何定理机器证明算法,并选用符号计算功能较为强大的软件Mathemat...
关键词：复数法 CNMP 可读机器证明 TGTP 五圆定理 
Clifford链定理简单的几何证明
《数学通报》2013年第3期61-63,共3页邹宇 李涛 彭翕成 
1引言 文介绍了一个美丽的定理，即Clifford链定理． 两条直线交于一点，称此点为两线的2级Clifford点（简称2级点）；三条直线确定的3个2级点共圆，称之为这3条直线的3级Clifford圆（简称3级圆）；在这平凡事实的基础上，意外地有著...
关键词：CLIFFORD 几何证明 定理 链 直线 
质点法机器证明视角下的近世几何研究被引量：1
《计算机应用》2012年第11期3057-3061,共5页李涛 邹宇 
优化并发展了质点法机器证明算法的核心程序,用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴,首次实现了近世几何的机器证明,且可读性令人满意。在该证明器的帮助下,发现了一些新的近世几何性质,深化了近世几何的研...
关键词：质点法 机器证明 Mathematica证明器 近世几何 
连续归纳法的新证明及其应用举例
《科技导报》2012年第17期54-55,共2页李涛 张景中 
关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法;举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。
关键词：连续归纳法 新证明 数学机械化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部