Groebner bases in (almost) pure Julia

A Python implementation of a polynomial library and Buchberger's Algorithm

A fornalisation of Grobner basis in ssreflect

What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, minimalistic rings and fields manipulations, polynomials factoring, fields extensions and many more...

Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]

A set of autonomous Mathematica programs which explore the chaos in Gauss-Bonnet black holes, Reissner-Nordstrom black holes, Schwarzschild black holes, Born-Infeld black holes and hyper scale violating manifolds in Anti de-Sitter space.

Library for computing Gröbner Basis in .NET. Includes sample application that checks if a given graph is k-colorable using the API.

A Mathematica package by the name 'Polynomial adaptive cellular automata' to get the quasi-normal modes for the particles oscillating in the background of a black hole.

Cube attack & algebraic functional approximator. Proof-of-concept for Cube attack on Keccak

This is my Mathematics for Intelligent Systems-3 project. It is a note and some work on Grobner basis

Computational algebraic geometry template library

Realization of some computational algebra algorithms