AN18 - IP12: Seeing Through Rock: Mathematics of Inverse Wave Propagation 2018-SIAM-AN18-IP12-095.pdf