derive
Start a mathematical derivation by describing a goal in natural language. Get a derivation plan, recommended formulas, and next steps.
Instructions
🚀 High-level derivation entry point — start a derivation from a goal.
Args:
goal: Natural-language description of what to derive
given: Base formulas or expressions to load as starting points
assumptions: List of assumptions (e.g., ["rho is positive"])
domain: Math/physics domain (e.g., "fluid_dynamics")
pattern: Derivation pattern. If None, auto-selected from goal.
target_expression: Expected final SymPy expression (optional)
auto_load: If True, load the given formulas into the session
external_sources: External formula sources to include in recommendations
(e.g., ["wikidata", "biomodels", "scipy"] or ["all"]).
Defaults to all sources; network failures are silently ignored.
Returns:
Session info + goal + derivation plan + recommended formulas + next steps
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| goal | Yes | ||
| given | No | ||
| domain | No | general | |
| pattern | No | ||
| auto_load | No | ||
| assumptions | No | ||
| external_sources | No | ||
| target_expression | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||