algebras

There are 0 repository under algebras topic.

sreahw / schuller-geometric
Source code for lecture notes
logic notes truth axioms sets classification topology homotopy manifolds bundles lie curves physics geometry algebras dynkin
Language:TeX 141
burz / Feval
evaluation using f-algebras
haskell evaluation algebras category-theory functor interpreter
Language:Haskell 23
sjoerdvisscher / algebraic-classes
Conversions between algebraic classes and F-algebras.
haskell conversion algebraic signature algebras generics
Language:Haskell 11
digitalheir / semiring-js
💫 A library for working with ring-like algebraic structures that implements some common semirings
semiring javascript mathematics rig algebraic-structures algebras abstract-algebra tropical underflow log-semiring string-semiring probability-semiring algebra
Language:TypeScript 8
Risto-Stevcev / idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
idris heyting-algebras heyting algebra algebras join meet lattice semilattice lattices semilattices bounded
Language:Idris 5
superzhenhuali / zhmath
Programming for algebras, quantum groups(hecke clifford superalgebras), quivers.
algebras hecke hecke-clifford quantum-groups quantum-queer-superalgebras
Language:C 1