设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文

博文

最新发表的博文| 推荐阅读的博文

科研笔记| 论文交流| 教学心得| 观点评述| 科普集锦| 海外观察| 人物纪事| 图片百科| 人文社科| 诗词雅集| 生活其它| 博客资讯|

[转载]不写代码也能做前沿研究？聊聊形式化 PDE 这个新方向: 王伟华 2026-4-11 22:55; 前几天，arXiv 上出现了一篇论文，标题很长： A formalization of the De Giorgi–Nash–Moser theory in Lean 4 。如果你不搞定理证明，可能会直接划走。但我建议你停一下——这篇论文或许标志着一个对 PDE 研究者真正有用的新方向正在成型。我不是 Lean 用户，代码一行没跑过。但读完这篇论文之后 ...; 204 次阅读|没有评论

忆往昔之初知江河(旧文附AI新评): 陈立群 2026-4-11 22:53; 昨天的博文《天津海河掠影》中说，最初听说海河是最高指示，“一定要根治海河！”与河有关的最高指示还有“一定要把淮河修好”和“要把黄河的事情办好”。因此听说了淮河和黄河。除了最高指示，在学龄前对江河的了解，主要是来自广播报纸和毛泽东诗词。广播报纸常提“长江”和“黄 ...; 386 次阅读|没有评论

12 3 4 5 6 7 8 9 10 ... 117422 下一页

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2026-4-12 07:04

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部