algebras

Here are 8 public repositories matching this topic...

Source code for lecture notes

topology curves notes geometry physics logic classification algebras bundles homotopy truth lie sets manifolds axioms dynkin

evaluation using f-algebras

haskell interpreter evaluation functor category-theory algebras

Conversions between algebraic classes and F-algebras.

haskell conversion signature generics algebras algebraic

💫 A library for working with ring-like algebraic structures that implements some common semirings

Interfaces for heyting algebras and verified bounded join and meet semilattices

algebra semilattices idris join lattice algebras meet lattices heyting-algebras heyting semilattice bounded

Символьная библиотека для создания и описания своих формальных систем.

Programming for algebras, quantum groups(hecke clifford superalgebras), quivers.

Hypercomplex rational numbers via the Cayley-Dickson construction (complex, quaternion, octonion, etc.)

To associate your repository with the algebras topic, visit your repo's landing page and select "manage topics."