资源列表
zchaff
- 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
SOURCE01V4D1
- caro program is written by VC++ and AI
usualcode
- 介绍了常用的算法并附有c的源码，包括经典的排序查找，各种数学变换、求极值、解方程等。-Introduce a commonly used algorithm with c source code, including the classic sort of search, all kinds of math transformation, extremum seeking, such as solutions of equations.
3D-BPP
- 3DBPP BRANCH AND BOUND
error
- 数值计算常用的出错处理！可以看看！学习一下：）-Numerical treatment commonly used in error! Can look at!
MathWork
- 实现离散数学中的各项功能，包括集合，逆运算等多项课内知识-Discrete Mathematics in the implementation of various functions, including collection, inverse operation, such as a number of curricular knowledge
Package_GA
- 本程序利用遗传算法解决背包文件问题。本程序利用遗传算法解决背包文件问题。-This procedure using the genetic algorithm to solve knapsack problem document. This procedure using the genetic algorithm to solve knapsack problem document.
BigNum
- 构造大数运算类 +；-；*；/ 并测试。<br>1. 不考虑括号 <br>2. 输入数据最大长度为40 位,要捕获异常 <br>3. 不考虑输入小数部分,<br>4. 测试要完整,先输入两个数,可输出上面两个数的运算结果 <br>5. 需要输出商和余数-Construction of large numbers+-*/computing and test category. <br> 1. Not consider brac
speech-recognition
- 能够简单识别0~9十个数字的matlab程序-Be able to easy identification 0 ~ 9 of the 10 figure matlab program
kalman
- 一个kalman滤波程序，用来实现kalman滤波算法。-A kalman filtering procedures used to achieve kalman filtering algorithm.
bunchdoc.tar
- clustering tools and may use for research
pptryosu5class2
- 用支持向量机对数据进行分类，每组数据有三个特征值分为五类-Using support vector machines for data classification, each group has three eigenvalues of the data is divided into five categories