#区间算术

1 stories · 1 in 7 days · 1 in 30 days

Lean 1 PINN 1 形式化验证 1 非线性PDE 1

Stories, products and papers tagged "区间算术", newest first.

Nov 6

Papers Builders10:26

Chinese contentPINN 求解非线性水波配合区间算术与 Lean 形式化验证

PINN 找解，区间算术给严格误差界，Lean 再机器检查一遍，还顺手发现了新的高振幅 Wilton ripple 候选解，方法链路很完整。

#PINN #Lean #区间算术 #非线性PDE

arXiv cs.LG@Michal Shavit et al. (3)Source