Search
LaTeX · Math and symbolic computation
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Runs a staged workflow for math modeling contests such as CUMCM and MCM/ICM, with checkpoints, verified solver code and a LaTeX paper, on DeepSeek Harness. | RealSeaberry/ | 257 | — | ~2.3k | Automated safety check: Pass | MIT | 1 mo ago |
| 2 | Runs an MCM/ICM math modeling competition end to end: collects contest metadata, builds and verifies models and code, then generates an English LaTeX paper and any required memo. | RealSeaberry/ | 257 | — | ~2.8k | Automated safety check: Pass | MIT | 1 mo ago |
| 3 | Runs a math modeling competition entry end to end, in AI-led or human-led mode, with Git checkpoints and self-verified solver code before it enters the LaTeX paper. | RealSeaberry/ | 257 | — | ~8.5k | Automated safety check: Pass | MIT | 1 mo ago |
| 4 | 4.Sympy Performs exact symbolic mathematics with SymPy for algebra, calculus, equation solving, symbolic linear algebra, physics, and lambdify or LaTeX code generation. | K-Dense-AI/ | 48k | 1 repo | ~3.3k | Automated safety check: Notes | MIT | 6 days ago |
