抛物方程柯西问题的构造解法及机械化求解

Constructive method for the Cauchy problem of parabolic equations and its mechanization

讨论抛物方程柯西问题的构造解法及其机械化求解 .利用方程中的初始条件 ,构造出方程的解 ,避开了烦琐的公式计算 ,得到这类抛物方程简捷、明了的算法化求解公式 .之后 。

The constructive method for the Cauchy problem of the parabolic equations was discussed. The initial value was used to construct the solution to the problem and obtain a clear formula. This conclusion was used in Maple to solve this Cauchy problem automatically by computer.