Pinned Loading

1. Fudan-Courses Fudan-Courses Public

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

   Jupyter Notebook 189 20

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 30 4

3. sympy/sympy sympy/sympy Public

   A computer algebra system written in pure Python

   Python 14.2k 4.9k

4. Prover Prover Public

   Auto math prover.

   Python 11 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