1. 吴文俊, Basic principles of mechanical theorem proving in elementary geometries, 系统科学与数学，1984，4（3）：207—235。

2. 黄云清、林群，角域上Green 函数及其有限元解的一些估计, 系统科学与

数学，1994, 14（1）：1—8。

3. 韩京清、王伟， 非线性跟踪-微分器， 系统科学与数学,1994，14(2)：177-183。

4. 张景中，杨路，侯晓荣，几何定理机器证明的结式矩阵法，系统科学与数学, 1995，15（1）：10—15。

5. 龚光，戴宗铎，Construction of SAC permutations, 系统科学与复杂性学报（英文版）, 1997，10（2）：120—128。

6. 谢惠民， The complexity of limit languages of cellular automata: An example，系统科学与复杂性学报（英文版）, 2001，14（1）：17—30。

7. 徐瑞，陈兰荪， 具有时滞和基于比率的三种群捕食系统的持久性与全局渐近稳定性，系统科学与数学, 2001，21（2）：204—212。

8. 戴彧虹，A Nonmonotone Conjugate Gradient Algorithm for Unconstrained
 Optimization，系统科学与复杂性学报（英文版）, 2002，15（2）：139-145。

9. 俞建，Nash，平衡的存在性与稳定性，系统科学与数学, 2002，22（3）：296—311。

10. J. H.  Holland, Studying complex adaptive systems, 系统科学与复杂性学报（英文版）, 2006,19(1):1—8。