By Software
Bertini
CaDiCaL
CInet::Base
CInet::ManySAT
DifferentialEquations.jl
GANAK
GAP
HomotopyContinuation.jl
HomotpyContinuation.jl
Julia
Crossing the transcendental divide: from Schottky groups to algebraic curves
Enumerating Chambers of Hyperplane Arrangements with Symmetry
Sign patterns of principal minors of real symmetric matrices
Solving two-parameter eigenvalue problems using an alternating method
Some thoughts and experiments on Bergman’s compact amalgamation problem
Macaulay2
MAGMA
Maple
Mathematica
MATLAB
nbc_minisat_all
OSCAR
Parallel
Pari/GP
Perl
Polymake
Python
PyTorch
Rust
SageMath
Classifying one-dimensional discrete models with maximum likelihood degree one
Complete quadrics: Schubert calculus for Gaussian models and semidefinite programming
Crossing the transcendental divide: from translation surfaces to algebraic curves
D-Module Techniques for Solving Differential Equations in the Context of Feynman Integrals
Identifiability of Homoscedastic Linear Structural Equation Models using Algebraic Matroids
Sign patterns of principal minors of real symmetric matrices
An SOS counterexample to an inequality of symmetric functions
Tropical invariants for binary forms and reduction types of Picard curves