var('y,b,c')
y=-cos(2*x)
b=diff(y,x,2)+3*diff(y,x)-4*y
c=8*cos(2*x)+6*sin(2*x)
bool(b == c)

Kreyszig-2.8.5-U (last edited 2010-12-17 12:54:09 by YASHWANTH)