待验证60% 置信事实精确时间

CFL（Courant-Friedrichs-Lewy）条件由三位数学家于1928年提出，用于判断显式时间推进格式的稳定性

2

来源数

60%

置信度

长期有效

时效性

2026/7/14

首次发现

来源

论文复现入门科学机器学习：路径选择与避坑指南

相关事实

待验证Bass、Connell和Wright在1982年证明了只需验证三次多项式映射的情况即可推广到雅可比猜想的一般情况61% 相似待验证Hardy在1933年证明：如果函数f(x)和其傅里叶变换都以高斯函数e^{-πx²}速率衰减，则f必须是高斯函数的常数倍；衰减更快则f≡058% 相似待验证西尔维斯特（1814-1897）与阿瑟·凯莱共同创立了矩阵理论和不变量理论58% 相似待验证1931年哥德尔证明形式数学系统能对自身命题及可证明性进行编码58% 相似待验证陶哲轩严格证明了平均化版本的三维Navier-Stokes方程的解会在有限时间内爆破57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/508017

API

curl https://kongchang.com/api/v1/knowledge/claims/508017

MCP

get_claim(id=508017)