欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
STEM
来自开放百科 - 灰狐
|
您可以在Wikipedia上了解到此条目的英文信息 STEM Thanks, Wikipedia. |
Science, technology, engineering, and mathematics (STEM)
目录 |
简介
理工科
各国
项目
- Scilab
- GNU Octave
- MATLAB
- LaTeX
- BPS.Space
- Debian Science
- ROOT A modular scientific software framework
图集
链接
分享您的观点
