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

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

2021-10-25から1日間の記事一覧

エレファントな群とリー代数(16)

一般マグマの多項式の完備化 環の演算では書き換え規則の合成を行っているので、今までの議論で説明できるのですが、その説明では長くなるのでいったん 群の完備化の説明をしたいと思います。群の完備化ではクヌース・ベンディックス完備化アルゴリズム - Wi…