The suspension bridge equation in a nutshell
The one-dimensional suspension bridge equation has been well studied in literature: traveling waves of various types have been proven to exist. Far less is known about the two-dimensional case. We use computer-assisted proof methods to find and prove periodic traveling waves in two spatial dimensions.