Popular repositories Loading

1. CLPoly CLPoly Public

   C++ 多项式计算库：多变量算术、GCD、因式分解、结式、特征列、实根隔离 | C++ polynomial computation library: multivariate arithmetic, GCD, factorization, resultants, characteristic sets, real root isolation

   C++ 8 1

2. claude-workflow claude-workflow Public

   面向 Claude Code 的通用开发工作流程规范模板。 包含设计三阶段流程、半形式化规约书写规范、分层测试策略、根因分析驱动的 bug 修复流程，以及 Claude 行为准则。适用于算法密集型项目（如数学库、编译器、形式化验证工具等），也可作为通用项目的开发规范基础。

   5 1

3. LiMbS LiMbS Public

   LiMbS is a Mathematica-based Solver.

   Mathematica 3 1

4. sparsesos sparsesos Public

   Sparsesos is a simple implementation of determining whether a polynomial is sparse SOS polynomial.

   C++ 3

5. RootOfMTP RootOfMTP Public

   The tool "RootOfMTP" isolates all the real roots of a mixed trigonometric-polynomial (MTP) based on Maple.

   JetBrains MPS 3

6. PKUAutoSubmit PKUAutoSubmit Public

   Forked from Bruuuuuuce/PKUAutoSubmit

   PKU一键出入校备案小工具

   Python 2