| 缩写 | 全称 | 中文释义 |
|---|---|---|
| WL | Wigner Lattice | 维格纳点阵 |
| ACELP | Algebraic Code Excited Linear Prediction | 代数码激励线性预测 |
| SCH | Singular Cardinals Hypothesis | 奇异红衣主教假设 |
| SMV | Symbolic Model Verifier | 符号模型验证器 |
| IES2 | Integral Equation Solver in Two Dimensions | 二维积分方程求解器 |
| MRU | Most Recently Used | 最近使用的 |
| GAZ | group algebra of Z | Z的群代数 |
| HO | Higher Order | 高阶 |
| CDE | Continuous Distribution of Ellipsoids | 椭球的连续分布 |
| EPA | Error Propagation Analysis | 误差传播分析 |