形式理论论文

微分方程（组）的解空间的规模
论文摘要本文依据数学机械化思想,在导师张鸿庆教授“AC=BD”理论的指导下,以计算机符号数值计算软件为工具,研究了关于微分方程求解的理论,特别是Riquier-Janet理论和...