eigenvalues - 线性代数特征值问题求解提供线性代数中特征值问题的解决策略和工具标签更新于: 2026-02-12线性代数特征值数学问题求解能力典型输入典型输出该技能可以做什么计算特征多项式求特征值求特征向量验证特征值和特征向量输入矩阵数据符号变量输出特征值特征向量验证结果要求SymPy库Z3定理证明器Python运行环境来源规范: SKILL.md