computational-algebra

Geometric Algebra Library

General-Purpose Computer Algebra System as an EDSL in Haskell

An introduction to the basic ideas of commutative algebra

A computer algebra system in Smalltalk

Quadratization of differential equations

Abstract algebra library for Python (Work in progress)

SageMath Software Carpentry Lesson

Programming with GAP

Exact constructive inversion of three-prism Risley systems: all 18 unknowns, complete compatible sets, deterministic error bounds, and research on practical computation.

This is the Magma code to accompany my paper "The Algebraic Geometry of 3 x 3 Magic Squares of Squares" with Asher Auel. The paper is linked in the URL.

all codes of my PhD.

A geometric algebra library written in C#.

Python code with the functionality to check whether path algebras derived from linear quivers (subject or not to relations) are fractional Calabi-Yau.

Educational platform for computational algebra and coding theory, featuring interactive problem solving, algorithm visualization, and bilingual support (EN/RO).

Algebraic Closure and Composite Chord Symmetry of the Regular Nonagon via Cyclotomic Polynomial Resultants in Lean 4 with Comparator.

A concise computational framework implementing finite-dimensional C*-algebraic models of quantum graphs, used to construct explicit examples, verify higher-order regularity conditions, and compute spectral properties supporting the results of the associated research article.

C++ tool for linear code analysis using Gröbner bases. Computes leader codewords, tests code equivalence, and analyzes automorphism groups based on recent coding theory research.

Computational Smooth Infinitesimal Analysis. Companion paper of [smooth](https://github.com/konn/smooth).

Finite soluble groups need not admit increasing unrefinable subgroup chains

Paper, code and data: mod-2 cokernel density c_e of a Hecke operator on the pro-2 tower of the CMSZ Ã2 lattice (ANCCFT Vol. III §6.8). gr P ⊗ F8 is the positive part of affine A2^(1); explicit kernels; c_e ≤ 0.0303; F is a non-zero-divisor in F2[[P]]; conditional proof of c_e = 0.