Victor Y. Pan, Yanqiang Yu: Certification of Numerical Computation of the Sign of the Determinant of a Matrix. Algorithmica 30(4): 708-724 (2001)