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

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

2021-02-12から1日間の記事一覧

エレファントな線形代数(2)

掃き出し法の順序に依存しない記法(2) 前回の議論では何が解となるのか明確には書いていなかったので、わかるように書き直したいと思います。連立一次方程式 を、有理数全体の体 に を付け加えて拡大した体 で考えます。逆行列を行列式で表すことができるこ…