var('y,b,c')
y=-0.5*exp(x)*sin(x)
b=diff(y,x,2)-4*diff(y,x)+4*y
c=exp(x)*cos(x)
bool(b == c)

Kreyszig-2.8.6-U (last edited 2010-12-17 12:54:58 by YASHWANTH)