統一とガウス消去

統合アルゴリズムとガウス消去法の関係を正確に説明する参照を知っている人はいますか？特に、三角置換とLU分解の関係に興味があります。

ウェイン・スナイダーとジャン・ギャリエは、論文「高次統一再訪：変換の完全なセット」を渡す際にこの類似性に言及しています。

これは答えだとは思いません。コメントをきれいに印刷するために、回答ボックスを悪用しています。

ユークリッドのGCDアルゴリズム、ガウス消去法、ブッフバーガーのアルゴリズム、およびクヌースベンディックスが厳密な一般化のシーケンスを形成し、すべて完了アルゴリズムと呼ばれるもののインスタンスであるという厳密な意味があります。また、これらのアルゴリズムとロジックの解決の間には密接な関係があります。私はこれに関する良い参考文献を知りませんが、私は非常に頻繁に言及された事実を見ました。これらが役立つ場合があります。

1. クリティカルペア/完了手順の歴史と基本機能、ブルーノ・ブッフバーガー、1987
2. シンボリック数学の正準縮約システム、フランツウィンクラー。スプリンガーリンク

より良い参考文献を見つけたら教えてください。