1.
Generalized Fuzzy Subalgebra of Boolean Algebra and the Realization of It in Mizar System;
布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现
2.
The Properties of Generalized Circulant Matrix and the Realization of Circulant Matrix in Mizar System;
广义循环矩阵的性质及循环矩阵在Mizar系统中的实现
3.
Maizar Project and Algebra Structure of the Quaternion Numbers;
Mizar语言系统与四元数的代数结构
4.
The Function Differential, Difference, Difference Quotient and Continued Fraction in Mizar;
函数微分、差分差商及连分数的Mizar实现研究
5.
Mixed Operation of Quaternion, Special Function Differentiation and Application of Rolle's Theorem in Mizar
四元数混合运算及特殊函数的微分公式和洛尔定理应用的Mizar实现
6.
The Function Differential, Partial Differentiation, Grads, Divergence, and Curl in Mizar
函数的微分、偏微分及梯度、散度、旋度在Mizar语言下的实现
7.
The Special Function Difference, Difference Quotient, Integral and Orthogonal, Norm Function in Mizar
特殊函数差分差商积分及函数正交性与函数范数的Mizar实现研究
8.
Texion:New software for 3D displaying and simulating lappings
Texion:ProCad 3D系统
9.
International Referral System
国际查询系统(查询系统)
10.
sprinkler system supervisory system
喷水灭火系统监控系统
11.
inertial navigation system
惯性导航系统惯导系统
12.
Continuous regulation control system
连续调整系统控制系统
13.
recovery system
恢复系统,回收系统
14.
allaqueous system
全水性系统（非溶剂系统）
15.
operating system
操作系统,[台]操作系统
16.
Global Early Warning System
全球预警系统（预警系统）
17.
embedded system
嵌入系统,[港]内嵌系统
18.
Adobe Systems Inc.
Adobe系统公司