eigenvalues - Eigenvalues problem-solving in linear algebra
Problem-solving strategies for eigenvalues in linear algebra
Tags
Updated: 2026-02-12Capabilities
Typical Inputs
Typical Outputs
What this skill does
- compute characteristic polynomial
- find eigenvalues
- find eigenvectors
- verify eigenvalue results
Inputs
- matrix representation
- symbolic expressions
- variable definitions
Outputs
- eigenvalues list
- eigenvectors set
- verification proof
Requirements
- Bash tool support
- Read tool access
- SymPy computation library
- Z3 verification tool