msolve
C
An open-source library for solving polynomial systems.
Paper: msolve: A Library for Solving Polynomial Systems
Research
Software
Computer algebra and polynomial system solving.
Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences
Maple
Implementation of quasi-linear guessing algorithms for linear recurrence relations with constant coefficients of bi-indexed sequences.
MultiLinG
C++
A formal verification tool for verifying And-Inverter Graphs using Gröbner bases computations through msolve.
Paper: Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
Guessing Linear Recurrence Relations
Maple
Implementation of guessing algorithms for linear recurrence relations with constant coefficients of a multidimensional table with the Berlekamp–Massey–Sakata, Artinian Gorenstein border basis and Scalar-FGLM algorithms.
Isomorphism of Polynomials with One Secret
Maple
Implementation of the algorithms given in Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials: The Regular Case to determine matrix A such that $A^T\cdot H_i\cdot A=H_i'$.
Convex-dense Bivariate Factorization
Maple
Implementation of the algorithm given in Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations to speed up the factorization of bivariate polynomials.
Mathemagix
C++
Contribution to the library algebramix on $p$-adic numbers
Homogeneous Polynomial Ideal Ridge Computation
Maple
Implementation of the algorithms given in Computing Hironaka's invariants: ridge and directrix to determine the least number of additive polynomials needed to write a homogeneous algebraic system.
Multihomogeneous Polynomial Ideal Ridge Computation
Maple
Extension of the algorithm for computing the ridge to multi-homogeneous polynomials.