Matrices over polynomial rings approached by commutative algebra | Synapse