By Software

Bertini

CaDiCaL

CInet::Base

CInet::ManySAT

DifferentialEquations.jl

GANAK

GAP

GNU Parallel

HomotopyContinuation

HomotopyContinuation v.

HomotopyContinuation.jl

iPython

Julia

Julia with HypersurfaceRegions

Julia v.

Macaulay v

Macaulay2

MAGMA

Maple

Mathematica

MATLAB

nbc_minisat_all

OSCAR

OSCAR v.

Perl

Polymake

Python

PyTorch

Rust

SageMath

SCIP

Singular

SoPlex

Wolfram Mathematica