待验证50% 置信事实精确时间
Lindgren等人证明，具有Matérn协方差函数的高斯过程可以表示为某个随机偏微分方程（SPDE）的解，用有限元方法在三角网格上离散后，其系数构成高斯马尔可夫随机场（GMRF）。
1
来源数
50%
置信度
长期有效
时效性
2026/10/12
首次发现
来源
涉及实体
相关事实
待验证Cordero-Erausquin和Klartag在2015年证明了矩量测度分解定理：任意具有一阶矩、重心为零且不支撑于超平面上的概率测度ρ可被分解为特定形式，其中传输映射是凸函数u的梯度65% 相似待验证陶哲轩严格证明了平均化版本的三维Navier-Stokes方程的解会在有限时间内爆破63% 相似待验证论文给出随机验证器类与经典多项式层级的夹逼关系：Σ_k^P ⊆ Σ_k^RV ⊆ Σ_{k+1}^P63% 相似待验证经典的Blumer等人定理证明，在可实现情形下，样本复杂度与VC维d呈线性关系，即Θ(d/ε)量级的样本足以保证ε的泛化误差62% 相似待验证Kolmogorov-Arnold表示定理于1957年由苏联数学家柯尔莫哥洛夫和阿诺德分别独立证明，指出任意连续多变量函数都可以被表示为有限个单变量连续函数的复合与求和62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1012899API
curl https://kongchang.com/api/v1/knowledge/claims/1012899MCP
get_claim(id=1012899)