特征列方法相关论文
代数曲面拼接是计算机辅助几何设计的基本问题之一，是空间几何造型的重要理论依据。它不仅具有重要的理论意义，同时也有重要的应用价......
由我国著名的数学家吴文俊先生首创的吴特征列方法是他的数学机械化理论的核心算法,机器证明的吴方法和方程求解的吴特征列方法均......
