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

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

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

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

一般マグマの多項式の書き換え規則の合成 「環の演算」(これはスマートフォンで使えるように以前のものを少し書き直しました)での式の合成の説明をする準備ができました。これを説明する前に、まず書き換え規則の合成について考えます。ある代数的構造を等式…