欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mathematics
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→数学家) |
||
第9行: | 第9行: | ||
==数学家== | ==数学家== | ||
+ | *[https://icm2022.org/ 国际数际数学家大会(International Congress of Mathematicians)] | ||
*佩雷尔曼 [https://arxiv.org/find/math/1/au:+Perelman_Grisha/0/1/0/all/0/1 佩雷尔曼发表在arXiv.org上的论文] [http://www.imo-official.org/participant_r.aspx?id=10481 国际奥林匹克数学竞赛中的成绩:满分] | *佩雷尔曼 [https://arxiv.org/find/math/1/au:+Perelman_Grisha/0/1/0/all/0/1 佩雷尔曼发表在arXiv.org上的论文] [http://www.imo-official.org/participant_r.aspx?id=10481 国际奥林匹克数学竞赛中的成绩:满分] | ||
2022年6月5日 (日) 14:41的版本
您可以在Wikipedia上了解到此条目的英文信息 Mathematics Thanks, Wikipedia. |
数学之美
目录 |
领域分支
数学家
研究所
项目
- Netlib is a collection of mathematical software, papers, and databases.
- Math, Statistics, and Computational Science
- Guide to Available Mathematical Software (GAMS)
- Maxima
- GNU Octave
- Scilab
- TeX, LaTeX
- MathML, MathJax, KaTeX
IMO
International Mathematical Olympiad (IMO)
菲尔兹奖
菲尔兹奖(Fields Medal) 数学界的诺贝尔奖
阿贝尔奖
The Abel Prize 阿贝尔奖是一项挪威设立的数学界大奖
图书
图集
链接
分享您的观点