Computational aspects of group extensions and their applications in topology. Dekimpe, Karel, Eick, Bettina (2002) Experimental Mathematics
Computing arithmetic invariants of 3-manifolds. Coulson, David, Goodman, Oliver A., Hodgson, Craig D., Neumann, Walter D. (2000) Experimental Mathematics
Computing triangulations of mapping tori of surface homeomorphisms. Brinkmann, Peter, Schleimer, Saul (2001) Experimental Mathematics
Computing varieties of representations of hyperbolic 3-manifolds into SL ( 4 , ℝ ) . Cooper, Daryl, Long, Darren, Thistlethwaite, Morwen (2006) Experimental Mathematics