think-mathematics

Constructing rigorous mathematical proofs requires making dependencies, assumptions, and steps explicit. This Skill guides you through formal reasoning tasks by structuring the proof construction process in a time-ordered, stepwise manner to ensure accuracy and reduce cognitive load.

Formulating tensor equations for physical reasoning involves applying conservation laws and analyzing symmetries. This Skill helps you perform physical tensor analyses by structuring the formulation process and explicitly defining assumptions and dependencies for accurate results.

Computability reasoning assesses decidability, classifies complexity, and designs reductions. This Skill structures computability arguments by making dependencies and assumptions explicit, guiding you through the analysis in a stepwise manner to evaluate problem solvability.

Yes, you can verify theorems and perform symbolic manipulations using formal reasoning. This Skill supports formal reasoning tasks across mathematics, physics, and computability domains by constructing rigorous arguments with explicit dependencies and a clearly defined output schema.

No external software dependencies are required to perform formal reasoning tasks. This Skill operates independently, structuring proofs, tensor analyses, and computability arguments through a guided, stepwise process that makes assumptions and dependencies explicit without relying on external components.