eigenvalues - Eigenvalue Problem Solving in Linear Algebra
Provides strategies and tools for solving eigenvalue problems in linear algebra
Tags
Updated: 2026-02-12Capabilities
Typical Inputs
Typical Outputs
What this skill does
- compute characteristic polynomial
- find eigenvalues
- find eigenvectors
- verify eigenvalues and eigenvectors
Inputs
- Matrix data
- Symbolic variables
Outputs
- Eigenvalues
- Eigenvectors
- Verification results
Requirements
- SymPy library
- Z3 theorem prover
- Python runtime