theorem proving stationary localized solutions to some nonlinear wave equations are unstable
No description defined