proof-verify

To verify an algebraic derivation step, provide the expression and select a verification mode like symbolic, numeric, or dimensional checks. The Skill evaluates the step and returns a clear CONFIRMED, REFUTED, or INCONCLUSIVE verdict with an explanation.

Symbolic verification confirms identities through algebraic manipulation, numeric verification tests expressions with diverse values for consistency, and dimensional verification checks units. Each method targets different aspects of mathematical expressions to ensure derivation accuracy.

Yes, you can use SymPy to check algebraic identities and stepwise proofs. The Skill optionally leverages Python and SymPy for automated symbolic verification, applying algebraic manipulation to confirm or refute mathematical derivations.

Check if a mathematical identity holds by prompting the AI with your expression and choosing a verification mode. Numeric testing evaluates the expression with diverse values, while symbolic manipulation confirms the identity to prevent algebraic mistakes before you proceed.

An INCONCLUSIVE algebraic verification result means the symbolic, numeric, or dimensional checks could not definitively confirm or refute the expression. This happens when the available verification methods lack sufficient evidence to prove the mathematical step's correctness.

Python is an optional requirement for automated symbolic verification of algebraic expressions. The Skill can perform verification using symbolic, numeric, or dimensional checks, but Python with SymPy support enables deeper automated algebraic manipulation.