特征列方法相关论文
介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括,微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算......
STAR(Small Tool for Algebraic Research)计划是国家"八五"、"九五"攀登计划"数学机械化研究及其应用"的子课题--"基于吴方法的数......
代数曲面拼接是计算机辅助几何设计的基本问题之一，是空间几何造型的重要理论依据。它不仅具有重要的理论意义，同时也有重要的应用价......
特征列方法将方程的零点集转化为几个特征列,即不可约的三角列的零点集的并集,使得方程达到降阶、降维度数的目的;李对称则提供了......
由我国著名的数学家吴文俊先生首创的吴特征列方法是他的数学机械化理论的核心算法,机器证明的吴方法和方程求解的吴特征列方法均......
