运行环境:WinXP/Win7/Win8/Win10/Win All
软件语言:简体中文
软件类型:国产软件 - 编程软件
授权方式:共享版
软件大小:0.98 MB
推荐星级:
解压密码:
联系方式:暂无联系方式
插件情况:
图片预览:
更新时间:2013-03-09 12:27:00
下载统计:
轨道包括计算机代数,定理证明,搜索和规划,以及机器学习算法。
一般来说,轨道库的概念背后的想法是提供服务和组件的Java伸展,环绕着许多科学应用中心。
因此,名称轨道库。为了满足高可重用性的神器出山:www.shenqi73.com要求,在此基础类库的设计有利于灵活性,概念简单和泛化。其适应性组成部分,因此,许多复杂的问题可以迎刃而解。
特别有用的工具,的函子组合工具,包括将它们纳入到数字和符号数学,以及一般的功能性评价计划,和一些算法模板,包括搜索和规划。它是实现不同的逻辑和自动定理证明系统,和计算机代数系统例程。
下面是一些主要特点的“轨道”:
·自动定理证明j'Imp和可重用的组件集的支持,并下令分辨率条款索引,包容,同义反复的消除以及戴维斯 - 普特南拉夫兰推断。
·计算机代数系统(CAS)组件j'Abr的Groebner基,GCD,象征性的分化,和数据表示向量,矩阵,多元多项式,实数,有理数,整数,复杂的数字,智商,等等。
·几种解决方案的算法搜索和规划问题。
·机器学习算法,包括进化算法。
上一个软件:csXPostUpload 1.1
共有 0 位网友发表了评论,得分 0 分,平均 0 分 查看完整评论