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.

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

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.

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.

Python implementation of computational algebra algorithms, focusing on Finite Fields ($F_p, F_q$) and polynomial factorization. Final project for Computational Algebra.