var('y,b,c')
y=exp(-3*x)
b=diff(y,x,2)-y
c=8*exp(-3*x)
bool(b == c)

Kreyszig-2.8.1-U (last edited 2010-12-17 12:49:02 by YASHWANTH)