定理机器证明

作品数：55被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：孙吉贵印鉴李莹朱兴军吴尽昭更多>>
相关机构：吉林大学中国科学院数学与系统科学研究院北京邮电大学华东师范大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《数学教学》《高等数学研究》更多>>
相关基金：国家自然科学基金吉林省青年科研基金中国博士后科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=科技导报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
科技创新正在更新教学被引量：1
《科技导报》2020年第10期52-53,共2页林群 
现代科技,基于计算机强大的计算能力,发展了信息技术,包括手机、无线网络、视频、网课……甚至发展到人工智能(代替大脑)。它们正在改变我们的生活和工作,同时也改变了科学、工程学和社会学。以数学为例,出现了吴文俊的"数学定理机器证...
关键词：定理机器证明 人工智能 信息技术 张景中 计算能力 吴文俊 无线网络 创造性的工作 
《中国学术期刊文摘》综述文摘选登
《科技导报》2010年第10期116-116,共1页
几何定理机器证明三十年张景中（电子科技大学与中国科学院成都计算机应用研究所自动推理联合实验室,成都610054;中国科学院成都计算机应用研究所,成都610041）几何定理的机器证明在自动推理的研究中占有重要的地位。自吴法发表至今30年...
关键词：中国科学院 学术期刊 定理机器证明 文摘 计算机应用 综述 电子科技大学 几何定理 
定理机器证明思想的产生与发展被引量：3
《科技导报》2001年第6期14-15,30,共3页傅海伦 
关键词：定理机器证明 计算机证明 吴文俊 数学机械化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部