Modular Arithmetic for Linear Algebra Computations in the Real Field. - Ioannis Z. Emiris; Victor Y. Pan; Yanqiang Yu (J. Symb. Comput., 1998)

Certified Computation of the Sign of a Matrix Determinant. - Victor Y. Pan; Yanqiang Yu (SODA, 1999)

Certification of Numerical Computation of the Sign of the Determinant of a Matrix. - Victor Y. Pan; Yanqiang Yu (Algorithmica, 2001)