Gibbs-Phen

携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)

particul swarm optimization matlab code

基于MATLAB的圆检测的图像处理，用到了最小二乘法，和霍夫变换(circle detection)

Uvi wavelet toolbox 很有用的工具箱(Uvi wavelet toolbox toolbox useful)

说明：  利用蚁群算法解决tsp问题，适合初学者。(Tsp using ant colony algorithm to solve the problem, suitable for beginners.)

matlab课程教材上的所有代码，罗小巧老师的matlab(All course materials on the matlab code matlab Luo small teacher)

基于种群算法的多项目关键链识别算法Many key chain project recognition algorithm based on population algorithm(Many key chain project recognition algorithm based on population algorithm)

One of the class assignments. Stochastic using mat lab.

对MATLAB的学习这会很有用，大家学习学习(On MATLAB will be useful to learn that we learn from)

图像处理BMP均衡化算法，本来用MATLAB很简单的算法，可是老师要求用C/C++写，还真的有很多学问。(BMP equalization image processing algorithm, originally a very simple algorithm using MATLAB, but the teacher asked to use C/C++ to write, really have a lot of knowledge.)