Author: Brett Bernstein
To see the results, use the 3 Mathematica notebook (.nb) files.  
To inspect all of
the logic used in the proof, see BumpWave6.wl.  To generate new sets
of data with different parameters, see GenerateDataGauss.wl and
GenerateDataRicker.wl.


BumpWave6.wl: contains all of the library code used for the proof, and
to generate the data used in the plots.

GenerateDataGauss/Ricker.wl: produces the files in the dat/ folder.
Takes several hours (1+ days) on a 6-core 3 ghz machine.

ExactRecoveryOutput.nb: Uses the dat/ folder to plot results relevant
for the noiseless recovery proof.

DenseNoiseOutput.nb: Uses the dat/ folder to plot results relevant
for the dense noise robust recovery proof.

SparseNoiseOutput.nb: Uses the dat/ folder to plot results relevant
for the sparse noise recovery proof.
