math-skills について
math-skillsは、数学的手法、研究計算、数学関連のデータソースを扱う6つのスキル集です。Leanの定理証明から数値計算、数列検索、トポロジカルデータ解析まで、研究用途を対象としています。
主な機能
- 01Lean 4の定理証明ガイド
- 02線形代数の応用
- 03数値計算と科学計算
- 04OEISの数列検索
- 05数式処理のガイド
- 06トポロジカルデータ解析
活用シーン
- 01Lean 4で形式的な証明に取り組む
- 02研究データに線形代数を適用する
- 03数値計算手法を選ぶ
- 04OEISで整数列を検索する
インストール
コマンドをコピーしてターミナルで実行します。
$
npx skills add https:/インストール後、Claude Code で/math-skillsを入力して読み込まれたか確認します。
詳細
数学 — 6 個のスキル
ユーザーのニーズに合ったスキルを選び、SKILL.md を read してください。
| スキル | 説明 |
|---|---|
| lean-theorem-proving-guide | Lean 4 での形式的な定理証明のための LLM エージェント |
| linear-algebra-applications | 線形代数の概念を研究計算やデータ分析に応用します |
| numerical-methods-guide | 数値計算手法と科学技術計算の技法を応用します |
| oeis-api | オンライン整数列大辞典（OEIS）API |
| symbolic-computation-guide | 研究向けの数式処理システム：SymPy、SageMath、Mathematica |
| topology-data-analysis | トポロジカルデータ解析：パーシステントホモロジー、Mapper、TDA ツール |
コメント
Markdown 対応