39 results for “topic:algebraic-structures”
Examples and exercises from the blog series
A DSL for the internal language of a topos
Relational Algebra, now with more algebra!
Opycleid - A Python package for transformational music theory
No description provided.
A partial binary associative operator (appendMaybe :: a → a → Maybe a)
An algebra system written in OCaml
💫 A library for working with ring-like algebraic structures that implements some common semirings
Algebraic structure implementations, do-notation, and operators to truly live the fantasy
Field-algebra based on Group / Ring symbolic vector module extension
A simple, versatile engine to handle runtime customizable boolean logic
Interfaces abstract algebra's, and the concept of 'uncertain number'. Based on that some structures related to physics, like physical numbers, which are uncertain numbers with dimensional analysis.
A library for hypercomplex algebras in Clojure
Small but neat OCaml library of (abstract) algebraic structures
Unifying parallel and sequential operations
FGroupPy is a software tool that allows you to perform various operations and analyses on mathematical groups. It provides a Python class called Group that represents a group and offers a set of methods to work with groups, including checking group properties, finding subgroups, generating multiplication tables, identifying normal subgroups, etc.
An exploration of fumulas in Agda—a new perspective on ring theory
An general computer algebra library
Python implementation of Category Theory
Algebraic Proof System
No description provided.
Groebner basis university project
Implementation of dendriform and tridendriform structures on Schröder trees
Addition and multiplication on numbers are the prototypical example of an operation that combines two elements of a set to produce a third.
Subclass of the built-in function type for representing algebraic operators (that are typically associated with algebraic structures and algebraic circuits) as immutable, hashable, sortable, and callable objects.
Field algebra constant parametric type
Code accompanying the paper: "Reduced submodules of finite dimensional polynomial modules"
Cryptographic foundations via hyper-elliptic curve isomorphisms and tensor-product noise-learning. This toolkit maps high-dimensional vector spaces to secure manifolds, ensuring entropy persistence against sub-exponential time attacks. Pure algebraic structures for a future where classical complexity collapses.
Documents presenting the fundamentals of additively partial algebra
Mathematical framework connecting surjective group homomorphisms to quantum error correction via Type II₁ von Neumann algebras. Derives code distance bounds from algebraic structure and validates with computational examples.