Reid标准型相关论文
随着计算机的发展和应用领域的不断扩大,符号计算在数学领域中体现出了日益强大的生命力,该文就是以计算机代数为工具,微分代数为......
该文的研究内容涉及到AC=BD理论,Reid标准型和非线性演化方程的求解三个方面.AC=BD理论和Reid标准型是数学机械化的重要组成部分,......
给出了求解一类线性偏微分方程组一般解的机械化算法.这一算法可以在有限步完成.运用这种新法对Maxwell方程组和按应力求解的二维......
