Pinned Loading

1. Fudan-Courses Fudan-Courses Public

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

   Jupyter Notebook 121 14

2. Triple-SOS Triple-SOS Public

   Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares proofs for Olympiad-level problems. Built on SymPy.

   Python 20 3

3. sympy/sympy sympy/sympy Public

   A computer algebra system written in pure Python

   Python 13.3k 4.6k

4. Prover Prover Public

   Auto math prover.

   Python 10 1

5. zyckk4/haoshen_bot zyckk4/haoshen_bot Public

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

   Python 7 3

6. Poisson-Blending Poisson-Blending Public

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

   Python 5