缩写	全称	中文释义
dU	The Derivative of U	u的导数
NZWA	Non-Zero Weighted Average	非零加权平均
ACA	Arithmetic Comprehension Axiom	算术理解公理
FTC	Fundamental Theorem of Calculus	微积分基本定理
NNF	Non-Normal Form	非正规形式
HSF	Height Sampling Fraction	高度采样分数
OCF	Ohtsuki, Cheung, and Fujisawa triangulation method	大冢、张和藤泽三角测量法
PER	Partial Equivalence Relation	部分等价关系
XXVIII	Roman Numeral 28	罗马数字 28
AMRC	Applied Mathematics Research Centre	应用数学研究中心