Recently Burton, Rubinstein and Tillmann proved the conjecture that the Seifert-Weber dodecahedral space is not Haken.
http://front.math.ucdavis.edu/0909.4625
Quite a bit of experimentation led up to their algorithms, as you would see by reading their paper.
