3. Bird's determinant algorithm🔗

Notes on Lean implementations of Bird's division-free algorithm for computing a determinant.

The implementations are bsed on the following paper: A simple division-free algorithm for computing determinants

1. 3.1. Object implementation using Array-backed vectors
2. 3.2. Meta-level implementation of Bird's algorithm