Popular repositories Loading

1. semiformal-sdd-workflow semiformal-sdd-workflow Public

   Semi-formal spec-driven development workflow for coding agents + humans. 设计先于代码、契约对照审核、修复同等严谨——适用于算法 / 验证 / 长期可维护性项目。

   11 2

2. CLPoly CLPoly Public

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

   C++ 8 4

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