By Software

Bertini

CaDiCaL

CInet::Base

CInet::ManySAT

DifferentialEquations.jl

GANAK

GAP

HomotopyContinuation.jl

HomotpyContinuation.jl

Julia

Macaulay2

MAGMA

Maple

Mathematica

MATLAB

nbc_minisat_all

NumPy. The code was executed within a Jupyter Notebook environment

OSCAR

Oscar.jl

Parallel

Pari/GP

Perl

Polymake

Python

PyTorch

Rust

SagbiHomotopy

SageMath

SCIP

sharpSAT-TD

Singular

SoPlex

The computations were performed using Python

with the libraries Cython