欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Anaconda python
来自开放百科 - 灰狐
Anaconda Python 是完全自由的面向大规模数据处理、预测分析和科学计算的企业级Python发行版。
Anaconda 以 Red Hat 和 Debian Linux 发行版的方式来分发 Python。
Anaconda 包含330多个最流行的科学、数学、工程和数据分析的Python软件包，包含。
- NumPy
- SciPy
- Pandas
- PyTables
- h5py
- Matplotlib
- IPython
- Spyder
- Qt/PySide
- VTK
- Numexpr
- Astropy
- Cython
- LLVM, LLVMpy
- Numba
- Scikit-learn
- Scikit-image
- NLTK
- NetworkX
- MayaVi
Anaconda提供Python 2.6、Python 2.7、Python 3.3 和 Python 3.4 四个版本的Python环境，能方便的在不同版本间切换。
指南
图集
链接
分享您的观点
