阿达马不等式

阿达马不等式给出行列式绝对值与行向量长度乘积之间的上界估计。

本库中的对应主页面见 9C 行列式。