---
name: brycewang-stanford/math-skills
source: https://app.decimal.ai/s/brycewang-stanford-math-skills@1/SKILL.md
source_sha256: 0ab43f543a21
---

# Mathematics — 6 Skills

Select the skill matching the user's need, then `read` its SKILL.md.

| Skill | Description |
|-------|-------------|
| [lean-theorem-proving-guide](./lean-theorem-proving-guide/SKILL.md) | LLM agent for formal theorem proving in Lean 4 |
| [linear-algebra-applications](./linear-algebra-applications/SKILL.md) | Apply linear algebra concepts to research computing and data analysis |
| [numerical-methods-guide](./numerical-methods-guide/SKILL.md) | Apply numerical methods and scientific computing techniques |
| [oeis-api](./oeis-api/SKILL.md) | On-Line Encyclopedia of Integer Sequences API |
| [symbolic-computation-guide](./symbolic-computation-guide/SKILL.md) | Computer algebra systems: SymPy, SageMath, and Mathematica for research |
| [topology-data-analysis](./topology-data-analysis/SKILL.md) | Topological data analysis: persistent homology, Mapper, and TDA tools |