Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation. Use when the user needs mathematical derivations, theorem proofs, notation tables, or statistical analysis formalization.
Perform rigorous mathematical reasoning and produce publication-quality LaTeX output.
$0 — Task type: derive, prove, formalize, stats, notation, verify$1 — Context: equation, theorem statement, problem description, or data descriptionderive — Step-by-step equation derivationShow every intermediate step. Justify each with the rule applied. Box final result with \boxed{}. Number important equations with \label{eq:name}.
prove — Formal theorem proofUse appropriate technique: direct, contradiction, induction, construction, or cases. See for LaTeX templates.
references/proof-templates.mdformalize — Problem setting formalizationConvert informal description into formal mathematical framework with: variable definitions, domain/range specifications, assumptions, objective function.
stats — Statistical test selectionUse the decision tree in references/notation-guide.md to select appropriate tests. Report p-values, effect sizes, confidence intervals.
notation — Generate notation tableCreate a \begin{table} with all symbols used in the paper. Use standard ML notation from references/notation-guide.md.
verify — Check mathematical correctnessVerify: dimensional consistency, boundary cases, gradient computations, notation consistency across sections.
~/.claude/skills/math-reasoning/references/notation-guide.md~/.claude/skills/math-reasoning/references/proof-templates.md\tag{reason} for key derivation steps