设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文

博文

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

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

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

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

成岩作用：表生还是深埋？——重新认识储层演化逻辑: 齐亚林 2026-4-11 22:27; 在鄂尔多斯盆地上三叠统延长组油气地质研究领域，储层成岩演化的主控争议始终悬而未决：主导储层改造的，是近地表表生成岩作用，还是深部埋藏成岩作用？过往研究大多将重心放在深部压实、次生溶蚀等埋藏成岩过程，却刻意弱化了原始沉积环境与表生地质作用的奠基性意义。结合延长组两亿年地质演化史实、地层水实测数据、碎 ...; 297 次阅读|没有评论

嚼槟榔的渊源远比想象复杂，单一传播模型已被推翻: 廖景平 2026-4-11 22:26; 【核心概览】基于 Zumbroich (2009) 对嚼槟榔习俗起源与传播的经典研究，系统整合考古植物学、体质人类学、历史语言学与古文献四重证据，全面复盘从东南亚、南亚到太平洋诸岛的槟榔文化扩散史。研究明确否定 “ 南岛语族单一传播 ” 传统模型，证实槟榔、蒌叶、石 ...; 329 次阅读|没有评论

IEEE Xplore数据库介绍与使用方法: 李升伟 2026-4-11 22:24; IEEE Xplore是一个学术文献数据库，由国际电气与电子工程师协会（IEEE）提供，是全球电气、电子、计算机、通信、人工智能等相关领域最权威、最核心的学术资源平台之一。一、IEEE Xplore 包含什么？简单来说，它就像一个电子工程和计算机领域的“数字图书馆”，核心内容包括：期刊/杂志：IEEE旗下的所 ...; 322 次阅读|没有评论

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

会议

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

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

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部