示性数论文

微分方程组精确解及其解的规模的机械化算法
论文摘要本文研究数学物理机械化方面的若干问题。主要研究微分方程（组）,特别是在力学、空气动力学、等离子体物理、生物物理和化学物理等现代科学技术中引出的非线性偏微分方程（组）的对...