エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-11-13から1日間の記事一覧

現代数学のエレファント(6)

ガウスの消去法 Wikipediaによると、ガウスの消去法(または掃き出し法)は連立一次方程式の解法に使われるものですが 行列の階数の計算 行列式の計算 正則行列の逆行列の計算 でも使われます。この記事は行列式や行列のランクを定義から計算できるようにする…