Abstract:We present an algorithm computing the determinant of an integer matrix A. The algorithm is introspective in the sense that it uses several distinct algorithms that run in a concurrent manner. During the course of the algorithm partial results coming from distinct methods can be combined. Then, depending on the current running time of each method, the algorithm can emphasize a particular variant. With the use of very fast modular routines for linear algebra, our implementation is an order of magnitude faster than other existing implementations. Moreover, we prove that the expected complexity of our algorithm is only O(n^3 log^{2.5}(n ||A||)) bit operations in the dense case and O(Omega n^{1.5} log^2(n ||A||) + n^{2.5}log^3(n||A||)) in the sparse case, where ||A|| is the largest entry in absolute value of the matrix and Omega is the cost of matrix-vector multiplication in the case of a sparse matrix.

Residence Time Distribution for a Class of Gaussian Markov Processes

Advanced Determinant Calculus: A Complement

Yay for Determinants!

Evaluating Two Determinants

THE GEOMETRY OF DETERMINANTS

A Determinantal Identity

Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations

An introspective algorithm for the integer determinant

Determinantal expressions of certain integrals on symmetric spaces

Fully geometric definitions of orientation and determinants

On the determinants of matrices with elements from arbitrary sets

A determinant for automorphisms of groups

A New Determinantal Formula for Three Matrices

Divided Differences and a Unified Approach to Evaluating Determinants Involving Generalized Factorials

The determinant of the second additive compound of a square matrix: a formula and applications

Unifying Linear Algebra

Computing the Determinant of a Dense Matrix over Z

The Determinant of Cubic-Matrix of order 2 and order 3: Some basic Properties and Algorithms

Extremals of determinants for Laplacians on discrete surfaces

Determinant of a Sum of Certain Kronecker Products

Block determinants, partial determinants and the exponential map