We discuss several methods to compute a verified inclusion of the determinant of a real or complex, point or interval matrix. For point matrices, large condition number 1015, and large dimension (n=1000) still highly accurate inclusions are computed. For real interval matrices we show that any vertex may be a unique extreme point. For wide radii we show that preconditioning may widen an inclusion significantly, and Hadamard's bound may be much better.
