形式科学

Kolmogorov型统计量

布朗桥

非参数统计

维度灾难

概率自动机

状态机

超调量

事务

收敛子序列

极值定理

Heine-Cantor定理

Z变换

偏幺正算子

分裂域

幂等端同态

Krull-Schmidt 定理

投射模

群表示

对偶范畴

商结构

Kullback-Leibler散度

模张量范畴

NaN

动态范围

排序策略

Cholesky 分解

正规方程

归一化

马尔可夫链

条件互信息

互相关

词袋模型

余弦距离

余弦相似度

平均精确率

假阳性

Ito公式

鞅

条件数

形式幂级数

辅助函数

密度函数

Hausdorff–Young不等式

数组

位运算

局部域

语义完备性

公理系统

完备性

形式证明