定理证明

作品数：1006被引量：857H指数：10
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：关永施智平李晓娟张杰王国辉更多>>
相关机构：首都师范大学南京航空航天大学北京化工大学华东师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国际科技合作与交流专项项目国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

期刊关系类型

  • 发文期刊
  • 被引期刊
  • 引证期刊
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
视图：
排序：
《软件学报》
查看相关作品
作品数：7958被引量：92722H指数：118
issn：1000-9825cn：11-2560/TP
主办单位：中国科学院软件研究所;中国计算机学会
发文主题：英文 数据库 征文通知 人工智能 神经网络
发文领域：自动化与计算机技术 电子电信 理学 文化科学 经济管理
《中学数学教学参考》
查看相关作品
作品数：12708被引量：9676H指数：24
曾用名：中学数学教学参考（教师版）；中学数学教学参考（上半月高中）
issn：1002-2171cn：61-1032/G4
主办单位：陕西师范大学
发文主题：教学 数学 高中数学 高考数学 教学设计
发文领域：文化科学 理学 自动化与计算机技术 经济管理 农业科学
《数学学习与研究》
查看相关作品
作品数：45173被引量：35775H指数：23
曾用名：数学学习与研究（教研版）
issn：1007-872Xcn：22-1217/O1
主办单位：吉林省数学会;东北师范大学数学与统计学院
发文主题：小学数学 初中数学 高中数学 数学 数学教学
发文领域：文化科学 理学 经济管理 自动化与计算机技术 哲学宗教
《大学数学》
查看相关作品
作品数：6078被引量：12680H指数：38
曾用名：工科数学
issn：1672-1454cn：34-1221/O1
主办单位：教育部高校大学数学课程教学指导委员会（原教育部高校数学与统计学教学指导委员会）;合肥工业大学
发文主题：工科数学 高等数学 注记 线性代数 英文
发文领域：理学 文化科学 自动化与计算机技术 经济管理 一般工业技术
《计算机科学》
查看相关作品
作品数：23551被引量：90306H指数：72
曾用名：计算机应用与应用数学
issn：1002-137Xcn：50-1075/TP
主办单位：重庆西南信息有限公司（原科学技术部西南信息中心）
发文主题：网络 人工智能 神经网络 数据挖掘 数据库
发文领域：自动化与计算机技术 电子电信 理学 文化科学 经济管理
《中学教研（数学版）》
查看相关作品
作品数：7504被引量：3064H指数：12
issn：1003-6407cn：33-1069/G4
主办单位：浙江师范大学
发文主题：数学 数学教学 解法 解题方法 数学高考
发文领域：文化科学 理学 经济管理 自动化与计算机技术 哲学宗教
《中小学数学（初中版）》
查看相关作品
作品数：6782被引量：1261H指数：8
issn：2095-4832cn：10-1085/O1
主办单位：中国教育学会
发文主题：数学 中考 教学设计 初中数学 数学教学
发文领域：文化科学 理学 经济管理 哲学宗教 自动化与计算机技术
《数学教学研究》
查看相关作品
作品数：6028被引量：4315H指数：14
issn：1671-0452cn：62-1042/O1
主办单位：甘肃省数学会;西北师范大学
发文主题：数学教学 数学 高中数学 不等式 高考
发文领域：文化科学 理学 哲学宗教 自动化与计算机技术 经济管理
《小型微型计算机系统》
查看相关作品
作品数：14524被引量：43121H指数：40
issn：1000-1220cn：21-1106/TP
主办单位：中国科学院沈阳计算技术研究所
发文主题：网络 微型计算机系统 计算机网络 计算机 神经网络
发文领域：自动化与计算机技术 电子电信 文化科学 理学 经济管理
《计算机工程》
查看相关作品
作品数：35439被引量：125148H指数：63
issn：1000-3428cn：31-1289/TP
主办单位：华东计算技术研究所;上海市计算机学会
发文主题：无线传感器网络 数据挖掘 计算机网络 网络 遗传算法
发文领域：自动化与计算机技术 电子电信 自然科学总论 经济管理 文化科学
全选清除导出
共40页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部