"...esorics2024-artefact.git" did not exist on "main"
G
Gamble
- S
Subdivision_solver is a solver for square systems of polynomial equations using exhaustive search in an initial bounded real domain given as a box (i.e. a vector of intervals). It is specifically designed to handle systems of large dense polynomials.