形式科学Formal sciences

重整化群 001 coercivity 002 Lax–Milgram 定理 003 能量泛函 004 线性插值 005 阈值决策 006 残差平方和 007 MAP估计 008 活跃变量分析 009 线性回归 010 维纳滤波 011 频域阈值 012 配分函数 013 图模型 014 显著性检验 015 聚类稳健标准误 016 归一化流 017 轨道 018 结构相似性 019 边缘似然 020 前向-后向分裂 021 约束投影 022 颜色空间 023 色域 024 退化情形 025 float 026 Brier分数 027 核方法 028 误差范数 029 启发式寻路 030 IEEE 754 031 数字滤波 032 遗忘因子 033 饱和 034 LR解析 035 平均绝对误差 036 量化步长 037 零点分布 038 紧支撑小波 039 弱解 040 作用量 041 辛流形 042 勒让德变换 043 线性空间 044 雅可比恒等式 045 结构常数 046 有界线性算子 047 合取范式 048 复杂度分析 049 规范形 050