关于 math-reasoning
math-reasoning 是用于严谨数学工作的 Claude 技能，涵盖公式推导、定理证明、统计检验选择和正确性检查，并提供面向论文写作的 LaTeX 规范与参考资料。
主要功能
- 01逐步推导公式
- 02撰写形式化定理证明
- 03形式化问题设定
- 04选择统计检验
- 05生成符号表
- 06检查数学正确性
适用场景
- 01为论文推导公式
- 02用 LaTeX 撰写定理证明
- 03选择统计检验方法
- 04检查符号与计算
安装
复制下面的命令，在终端中运行。
$
npx skills add https:/安装后在 Claude Code 中输入/math-reasoning确认已加载。
附带文件references/notation-guide.mdreferences/proof-templates.md
详细介绍
数学推理
进行严谨的数学推理，并生成符合出版质量的 LaTeX 输出。
输入
$0— 任务类型：derive、prove、formalize、stats、notation、verify$1— 上下文：方程、定理陈述、问题描述或数据描述
任务
derive — 逐步推导方程
展示每个中间步骤，并说明所应用的规则。用 \boxed{} 框出最终结果。为重要方程添加编号，使用 \label{eq:name}。
prove — 形式化定理证明
采用适当的方法：直接证明、反证法、归纳法、构造法或分类讨论。参见 references/proof-templates.md 中的 LaTeX 模板。
formalize — 形式化问题设定
将非正式描述转换为形式化数学框架，其中包括：变量定义、定义域和值域说明、假设、目标函数。
stats — 选择统计检验
使用 references/notation-guide.md 中的决策树选择合适的检验。报告 p 值、效应量和置信区间。
notation — 生成符号表
创建一个包含论文中所有符号的 \begin{table}。使用 references/notation-guide.md 中的标准 ML 符号。
verify — 检查数学正确性
验证：量纲一致性、边界情况、梯度计算、各章节中的符号一致性。
参考资料
- 标准 ML 符号与统计检验：
~/.claude/skills/math-reasoning/references/notation-guide.md - 证明模板与定理环境：
~/.claude/skills/math-reasoning/references/proof-templates.md
规则
- 首次使用前定义所有符号：“令 $\mathcal{X}$ 表示……”
- 在整篇论文中使用一致的符号
- 为后续会引用的方程编号
- 对关键推导步骤使用
\tag{reason} - 明确陈述假设
- 在证明中引用所用的引理和已有结果
相关技能
评论
支持 Markdown