Search
Research & Science · SymPy
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Sympy A skill your agent uses when working with symbolic mathematics in Python. | zLanqing/ | 4.7k | 15 repos | ~3.4k | Automated safety check: Pass | MIT | 5 mo ago |
| 2 | 把一道解析几何题解成一个自包含的交互教学网页：左栏题面 + 动态控制台（一个 可变参数滑块驱动实时重算的几何量 + 理论范围/定值指示），中栏 KaTeX 分步解析，右栏 2D Canvas 动态几何画板（椭圆/双曲线/抛物线/圆 + 动直线/动点 + 向量 + 标注 + 画笔涂鸦）。 | wy51ai/ | 1.4k | 1 repo | ~1.6k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 3 | 把一道立体几何题解成一个自包含的交互教学网页：左侧 MathJax 分步解析， 右侧 Three.js 可交互 3D 模型（分步高亮 + 镜头切换）。支持三种入口——给定文字题目、 随机出题、上传题目图片识别后解题。覆盖正方体/长方体、棱锥/棱柱、圆柱/圆锥上的线面角、 二面角、异面直线夹角、点到平面距离、体积等题型，统一用"建系+向量法"，并由 sympy 精确 计算驱动（答案、3D… | wy51ai/ | 1.4k | 1 repo | ~1.1k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 4 | Deterministic mathematical computation using SymPy. An agent skill from ananddtyagi/cc-marketplace. | ananddtyagi/ | 687 | 1 repo | ~1.3k | Automated safety check: Pass | No licence | 8 mo ago |
| 5 | 把一个化学反应做成自包含的微观 3D 交互演示网页：左/上为 Three.js 可交互分子动画 （拖滑块看断键·成键·原子重组，分步高亮），右为 KaTeX 反应方程 + 分步讲解 + 原子守恒计数 + 可选能量-反应进程曲线。支持三入口——给定文字反应/方程、随机出题、上传图片识别后演示。 | wy51ai/ | 1.4k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 6 | Runs reproducible math computations and counterexample searches with SymPy, NumPy and mpmath, logging evidence without presenting results as proofs. | tradecatlabs/ | 17k | — | ~881 | Automated safety check: Pass | MIT | yesterday |
| 7 | Constructs honest, checkable derivation chains for formulas and theory notes, and keeps approximations and numerical hints from passing as rigorous proof. | tradecatlabs/ | 17k | — | ~429 | Automated safety check: Pass | MIT | yesterday |
| 8 | 8.Math Unified math capabilities - computation, solving, and explanation. | parcadei/ | 3.9k | 2 repos | ~1.6k | Automated safety check: Notes | MIT | 8 mo ago |
| 9 | 9.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 |
| 10 | Problem-solving strategies for analytic functions in complex analysis | parcadei/ | 3.9k | 1 repo | ~913 | Automated safety check: Notes | MIT | 8 mo ago |
| 11 | Problem-solving strategies for boundary value problems in odes pdes | parcadei/ | 3.9k | 1 repo | ~1.1k | Automated safety check: Notes | MIT | 8 mo ago |
| 12 | Problem-solving strategies for contour integrals in complex analysis | parcadei/ | 3.9k | 1 repo | ~902 | Automated safety check: Notes | MIT | 8 mo ago |
| 13 | Problem-solving strategies for operator theory in functional analysis | parcadei/ | 3.9k | 1 repo | ~879 | Automated safety check: Notes | MIT | 8 mo ago |
| 14 | 14.Residues Problem-solving strategies for residues in complex analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~972 | Automated safety check: Notes | MIT | 8 mo ago |
| 15 | Problem-solving strategies for source coding in information theory | parcadei/ | 3.9k | 1 repo | ~783 | Automated safety check: Notes | MIT | 8 mo ago |
| 16 | 16.Compactness Problem-solving strategies for compactness in topology. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~732 | Automated safety check: Notes | MIT | 8 mo ago |
| 17 | 17.Fields Problem-solving strategies for fields in abstract algebra. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~693 | Automated safety check: Notes | MIT | 8 mo ago |
| 18 | Problem-solving strategies for graph algorithms in graph number theory | parcadei/ | 3.9k | 1 repo | ~967 | Automated safety check: Notes | MIT | 8 mo ago |
| 19 | Problem-solving strategies for hilbert spaces in functional analysis | parcadei/ | 3.9k | 1 repo | ~999 | Automated safety check: Notes | MIT | 8 mo ago |
| 20 | Problem-solving strategies for integration theory in measure theory | parcadei/ | 3.9k | 1 repo | ~929 | Automated safety check: Notes | MIT | 8 mo ago |
| 21 | Problem-solving strategies for lebesgue measure in measure theory | parcadei/ | 3.9k | 1 repo | ~827 | Automated safety check: Notes | MIT | 8 mo ago |
| 22 | 22.Math Help Guide to the math cognitive stack - what tools exist and when to use each | parcadei/ | 3.9k | 1 repo | ~2.6k | Automated safety check: Pass | MIT | 8 mo ago |
| 23 | Problem-solving strategies for modular arithmetic in graph number theory | parcadei/ | 3.9k | 1 repo | ~505 | Automated safety check: Notes | MIT | 8 mo ago |
| 24 | Problem-solving strategies for second order odes in odes pdes | parcadei/ | 3.9k | 1 repo | ~830 | Automated safety check: Notes | MIT | 8 mo ago |
| 25 | 25.Convergence Problem-solving strategies for convergence in real analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~316 | Automated safety check: Notes | MIT | 8 mo ago |
| 26 | 26.Eigenvalues Problem-solving strategies for eigenvalues in linear algebra | parcadei/ | 3.9k | 1 repo | ~304 | Automated safety check: Notes | MIT | 8 mo ago |
| 27 | 27.Continuity Problem-solving strategies for continuity in real analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~292 | Automated safety check: Notes | MIT | 8 mo ago |
| 28 | 28.Limits Problem-solving strategies for limits in real analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~318 | Automated safety check: Notes | MIT | 8 mo ago |
| 29 | 29.Matrices Problem-solving strategies for matrices in linear algebra. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~316 | Automated safety check: Notes | MIT | 8 mo ago |
| 30 | Problem-solving strategies for prime numbers in graph number theory | parcadei/ | 3.9k | 1 repo | ~405 | Automated safety check: Notes | MIT | 8 mo ago |
| 31 | Problem-solving strategies for vector spaces in linear algebra | parcadei/ | 3.9k | 1 repo | ~328 | Automated safety check: Notes | MIT | 8 mo ago |
| 32 | Symbolic math in Python: exact algebra, calculus (derivatives, integrals, limits), equation solving, symbolic matrices, ODEs, code gen (lambdify, C/Fortran). | jaechang-hits/ | 374 | 1 repo | ~3.9k | Automated safety check: Pass | BSD-3-Clause | 12 days ago |
| 33 | Use SymPy to prove or refute a self-authored algebraic identity, derivative, limit, comparative-static sign, or closed form. | flonat/ | 146 | — | ~1.8k | Automated safety check: Notes | MIT | 12 days ago |
| 34 | Computer algebra systems: SymPy, SageMath, and Mathematica for research | wentorai/ | 298 | 1 repo | ~1.7k | Automated safety check: Pass | MIT | 3 mo ago |
