博文
全部博文|未分类|
生活点滴|
非线性科学论文集|
计算机&大数据|
图像处理|
休闲娱乐|
逸闻趣事|
音乐欣赏|
数学天地|
电子图书(仅限学术研究使用,禁止商业用途)|
科技论文写作、搜索经验集锦|
Higher Order Partial Differential Equati|
娱乐|
学术会议文摘|
My Note|
广义相对论|
nonlocal problem|
- [转载]不写代码也能做前沿研究？聊聊形式化 PDE 这个新方向
- 前几天，arXiv 上出现了一篇论文，标题很长： A formalization of the De Giorgi–Nash–Moser theory in Lean 4 。如果你不搞定理证明，可能会直接划走。但我建议你停一下——这篇论文或许标志着一个对 PDE 研究者 真正有用的新方向正在成型。 我不是 Lean 用户，代码一行没跑过。但读完这篇论文之后 ...
- 数学各主要分支中被国际学术界公认为顶级或极具声望的SCIE期刊
- 数学各主要分支 中被国际学术界公认为 顶级或极具声望的SCIE期刊 （DeepSeek版） 在数学各主要分支中被国际学术界公认为顶级或极具声望的SCIE期刊。 这些期刊通常以严格的同行评审、极高的学术标准和深远的影响力而闻名，是领域内的标杆。 数学顶级综合期刊（“四大”或“五大”） 这些期刊发表所有数学 ...
- [转载]一元五次方程没有根式解的证明：伽罗瓦理论的视角
- 一元五次方程没有根式解的证明：伽罗瓦理论的视角 引言 一元五次方程，即形如 （其中 ）的方程，在数学史上占据了一个特殊的位置。自16世纪三次和四次方程的根式解被发现以来，数学家们自然地将注意力转向了五次方程。然而，经过几个世纪的尝试，最终在19世纪， 尼尔斯·亨利克·阿贝 ...
