arXiv++ Combinatorics

In this paper we tried to condense the determinant of n square matrix to the determinant of (n - 1) square matrix with the mathematical proof.

In this paper we give a mathematical proof of Dodgson algorithm [1]. Recently Zeilberger [2] gave a bijective proof. Our techniques are based on determinant properties and they are obtained by induction.