印鉴 杨路 张黔 李传中 张景中

吴文俊 数学实验室 线性方程组 院士 Wronskian行列式 曲面的局部理论 数值并行法 波动 数学机械化 模 直线程序 定理证明 教育数学 计算机科学家 代数符号计算 繁殖 波前 机械化证明 特征列方法 聚元 汇点