By Software

Bertini

CaDiCaL

CInet::Base

CInet::ManySAT

GANAK

GAP

GNU Parallel

HomotopyContinuation

HomotopyContinuation.jl

iPython

Julia

Macaulay2

MAGMA

Maple

Mathematica

MATLAB

nbc_minisat_all

OSCAR

Perl

Polymake

Python

PyTorch

SageMath

SCIP

Singular

SoPlex