特征列法相关硕士博士期刊学术论文

特征列方法是数学机械化理论的核心算法，目前已被应用于机器证明定理、方程求解、数字控制等多个领域.对称性理论在非线性微分-差分......