前几天,arXiv 上出现了一篇论文,标题很长: A formalization of the De Giorgi–Nash–Moser theory in Lean 4 。如果你不搞定理证明,可能会直接划走。但我建议你停一下——这篇论文或许标志着一个对 PDE 研究者 真正有用的新方向正在成型。 我不是 Lean 用户,代码一行没跑过。但读完这篇论文之后 ...
本排名不保证所有高级别数学综合性期刊都被纳入。 7.0 俱乐部 Annals of Mathematics(美) Acta Mathematica(瑞典) Journal of the American Mathematical Society (美) 6.0 俱乐部 Publications Mathematiques de I'IHES(法) Inventiones Mathematicae(德) 3.5~4.0 俱乐部 Duke M ...