Multivariate polynomials interface

Rings: efficient JVM library for polynomial rings

Equations in Swift

python package implementing a multivariate Horner scheme for efficiently evaluating multivariate polynomials

A package for fast evaluation of multivariate polynomials.

CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields

Field-algebra based on Group / Ring symbolic vector module extension

Multivariate polynomials and fractions of multivariate polynomials.

A wrapper library for Rings: ⭕ + ⚡ = 🍩

A python wrapper to the fortran package POLSYS_PLP that solve polynomial systems with homotopy method.

Common Lisp and SWI-Prolog libraries to manipulate multivariate polynomials.

Multivariate polynomial arithmetic benchmark tests.

Python binding to Donuts: 🍩 × 🐍

Symbolic manipulation of math operations.

Fractions of multivariate polynomials with rational coefficients.

Multivariate polynomials with symbolic parameters.

Multivariate polynomials with 'gmp' rational coefficients

Official repository for my exam in the SPDM801 course (Master's thesis) at the University of Southern Denmark, including everything necessary to run, read and extend. The project contains different implementations of MQ-solvers.

An attempt to formalise Shestakov-Umirbaev Theory in Lean 4 based on Chapter 1 of Polynomial Automorphisms and the Jacobian Conjecture (van den Essen et al, 2021).