#区间算术

共 1 条 · 7 天 1 条 · 30 天 1 条

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

信息流里打上「区间算术」标签的资讯、产品与论文，按刊登时间排，新的在上。

11月6日

论文 Agent 与开发者10:26

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

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

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

arXiv cs.LG@Michal Shavit 等 3 人原文