轨道1.1.8_Orbital 1.1.8

轨道是一个Java类库，提供面向对象的陈述和算法逻辑，数学和AI

轨道包括计算机代数，定理证明，搜索和规划，以及机器学习算法。

一般来说，轨道库的概念背后的想法是提供服务和组件的Java伸展，环绕着许多科学应用中心。

因此，名称轨道库。为了满足高可重用性的神器出山:www.shenqi73.com要求，在此基础类库的设计有利于灵活性，概念简单和泛化。其适应性组成部分，因此，许多复杂的问题可以迎刃而解。

特别有用的工具，的函子组合工具，包括将它们纳入到数字和符号数学，以及一般的功能性评价计划，和一些算法模板，包括搜索和规划。它是实现不同的逻辑和自动定理证明系统，和计算机代数系统例程。

下面是一些主要特点的“轨道”：

·自动定理证明j'Imp和可重用的组件集的支持，并下令分辨率条款索引，包容，同义反复的消除以及戴维斯 - 普特南拉夫兰推断。
·计算机代数系统（CAS）组件j'Abr的Groebner基，GCD，象征性的分化，和数据表示向量，矩阵，多元多项式，实数，有理数，整数，复杂的数字，智商，等等。
·几种解决方案的算法搜索和规划问题。
·机器学习算法，包括进化算法。