var('y,b,c')
y=1/5*exp(-x)+exp(x)
b=8*diff(y,x,2)-6*diff(y,x)+y
c=3*exp(x)+3*exp(-x)
bool(b == c)

Kreyszig-2.8.8-U (last edited 2010-12-17 12:56:35 by YASHWANTH)