首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
新闻学与传播学
世界经济学
统计学
哲学
计算机科学技术
应用经济学
公共管理
法学
轻工技术与工程
食品科学技术
工商管理
化学
中医学与中药学
土木建筑工程
马克思主义
药学
管理科学与工程
农林经济管理
理论经济学
旅游学
人力资源开发管理
图书馆、情报与档案管理
标题
作者
关键词
摘要
正文
单位
网址
任意词
工学
>>>
计算机科学技术
>>>
人工智能
>>>
人工智能理论
自然语言处理
机器翻译
模式识别
计算机感知
计算神经网络
知识工程
人工智能其他学科
搜索结果:
1-1
共查到
“
人工智能 不等式
”
相关记录1条 . 查询时间(0.095 秒)
一类构造性几何
不等式
的机器证明
自动证明
几何不等式
胞腔分解
半代数系统
2007/11/1
阐述了一个基于胞腔分解的
不等式
证明算法.据此算法编制的Maple通用程序能有效地处理含有根式的
不等式
型定理,对于Bottema等所著《几何
不等式
》一书中的大部分
不等式
定理的验证尤其高效.表1参17
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...