derivation_integrate
Integrate symbolic mathematical expressions with optional bounds for definite integrals, while recording human notes and assumptions for step-by-step derivation and provenance.
Instructions
對當前表達式積分(帶人類知識記錄)
Args:
variable: 積分變數
lower: 下界(可選,定積分時需要)
upper: 上界(可選,定積分時需要)
description: 操作描述
notes: 人類洞見
assumptions: 這步的假設
limitations: 這步的限制
Returns:
積分結果
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| lower | No | ||
| notes | No | ||
| upper | No | ||
| variable | Yes | ||
| session_id | No | ||
| assumptions | No | ||
| description | No | ||
| limitations | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||