Pinned Loading

1. Fudan-Courses Fudan-Courses Public

   Notes for Courses in School of Data Science, Fudan University. 复旦大学数据科学与大数据技术专业（复旦大数据）学习笔记。

   Jupyter Notebook 117 12

2. Triple-SOS Triple-SOS Public

   Automatic sum of square representation calculator. Symbolic SOStool with graphic user interface.

   Python 19 3

3. sympy/sympy sympy/sympy Public

   A computer algebra system written in pure Python

   Python 13.1k 4.5k

4. Prover Prover Public

   Auto math prover.

   Python 10 1

5. zyckk4/haoshen_bot zyckk4/haoshen_bot Public

   一个基于YiriMirai的多功能QQ机器人

   Python 6 3

6. Poisson-Blending Poisson-Blending Public

   A python implementation of Poisson Blending with friendly user interface. Created for course DATA130010.

   Python 4