Follow

有限表示群の諸々(例えば2つの語が等しくないことの証明など),代数の本だとかなり曖昧に済まされていることが多いけど,文字列書き換え系(String Rewriting System; SRS)の言葉を使ってまとめるとすっきりしそうだという予感がある(のでそのうち書きたい)

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.