math-reasoning

Compare original and translation side by side

🇺🇸

Original

English

🇨🇳

Translation

Chinese

Mathematical Reasoning

数学推理

Perform rigorous mathematical reasoning and produce publication-quality LaTeX output.

执行严谨的数学推理并生成符合出版标准的LaTeX输出。

Input

输入

$0

— Task type:

derive

prove

formalize

stats

notation

verify

```
$1
```
— Context: equation, theorem statement, problem description, or data description

$0

— 任务类型：

derive

、

prove

、

formalize

、

stats

、

notation

、

verify

```
$1
```
— 上下文：方程、定理陈述、问题描述或数据描述

Tasks

任务

derive

— Step-by-step equation derivation

derive

— 分步方程推导

Show every intermediate step. Justify each with the rule applied. Box final result with

\boxed{}

. Number important equations with

\label{eq:name}

展示每一个中间步骤，说明每个步骤应用的规则。用

\boxed{}

将最终结果框选出来，使用

\label{eq:name}

为重要方程编号。

prove

— Formal theorem proof

prove

— 正式定理证明

Use appropriate technique: direct, contradiction, induction, construction, or cases. See

references/proof-templates.md

for LaTeX templates.

使用合适的证明方法：直接证明、反证法、归纳法、构造法或分情况讨论。LaTeX模板可参考

references/proof-templates.md

。

formalize

— Problem setting formalization

formalize

— 问题设定形式化

Convert informal description into formal mathematical framework with: variable definitions, domain/range specifications, assumptions, objective function.

将非正式描述转换为正式数学框架，包含：变量定义、域/范围规范、假设条件、目标函数。

stats

— Statistical test selection

stats

— 统计检验选择

Use the decision tree in

references/notation-guide.md

to select appropriate tests. Report p-values, effect sizes, confidence intervals.

使用

references/notation-guide.md

中的决策树选择合适的检验方法，输出p值、效应量、置信区间。

notation

— Generate notation table

notation

— 生成符号表

Create a

\begin{table}

with all symbols used in the paper. Use standard ML notation from

references/notation-guide.md

创建包含论文中所有使用符号的

\begin{table}

表格，采用

references/notation-guide.md

中的标准ML符号规范。

verify

— Check mathematical correctness

verify

— 数学正确性校验

Verify: dimensional consistency, boundary cases, gradient computations, notation consistency across sections.

校验内容包括：维度一致性、边界情况、梯度计算、跨章节符号一致性。

References

参考资料

Standard ML notation + statistical tests:

~/.claude/skills/math-reasoning/references/notation-guide.md

Proof templates and theorem environments:

~/.claude/skills/math-reasoning/references/proof-templates.md

标准ML符号与统计检验：

~/.claude/skills/math-reasoning/references/notation-guide.md

证明模板与定理环境：

~/.claude/skills/math-reasoning/references/proof-templates.md

Rules

规则

Define ALL symbols before first use: "Let $\mathcal{X}$ denote..."
Use consistent notation throughout the paper
Number equations that are referenced later
Use
```
\tag{reason}
```
for key derivation steps
State assumptions explicitly
Cite lemmas and prior results used in proofs

所有符号首次使用前必须定义：例如"Let $\mathcal{X}$ denote..."
整篇论文使用统一的符号规范
为后续会引用的方程添加编号
关键推导步骤使用
```
\tag{reason}
```
标注说明
明确陈述所有假设条件
证明过程中引用用到的引理和已有研究成果

math-reasoning

Original

Translation

Mathematical Reasoning

数学推理

Input

输入

Tasks

任务

`derive`
— Step-by-step equation derivation

`derive`
— 分步方程推导

`prove`
— Formal theorem proof

`prove`
— 正式定理证明

`formalize`
— Problem setting formalization

`formalize`
— 问题设定形式化

`stats`
— Statistical test selection

`stats`
— 统计检验选择

`notation`
— Generate notation table

`notation`
— 生成符号表

`verify`
— Check mathematical correctness

`verify`
— 数学正确性校验

References

参考资料

Rules

规则

Related Skills

相关技能