Mizar系统是一种计算机语言系统,是集逻辑证明、推理演绎、复杂计算、校验排版、科研教学于一体的处理数学信息的形式化系统,并拥......

本文结合齐次平衡法原理并利用G/G-展开法研究了(2+1)维KP方程(ut+6uux+uxxx)x+3δ2uyy=0，其中u=u(x，y，t)，x，y分别表示横纵坐标，ut，ux，uy这......