Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.
-
Updated
Dec 8, 2015 - Haskell
Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.
Test algebra type class by QuickCheck.
symbolic math / computer algebra experiments
Prácticas de la asignatura Criptografía y Computación - Grado en Ingeniería Informática (UGR)
Symbolic calculation of non-commutative algebraic expressions with Haskell
Haskell library for linear codes from coding theory
Elliptic curve library for Haskell
Refinement model with first-order logic and range algebra
Type level algebraic "proofs" using lens combinators
Compile time CAS(Computer Algebra System) for Haskell
☯ When I do it, I always say fuck Haskell.
Add a description, image, and links to the algebra topic page so that developers can more easily learn about it.
To associate your repository with the algebra topic, visit your repo's landing page and select "manage topics."