laughedelic/M-Cohomology

Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.

语言：Haskell · GitHub 星标：6 · Fork：0

话题：algebra · category-theory · cohomology · haskell · mathematics · maths · thesis

在 GitHub 上查看原仓库