Authors: Maaz, Muhammad, Strzeboński, Adam W.
Subject Terms: Mathematics - Optimization and Control, Computer Science - Symbolic Computation, Mathematics - Algebraic Geometry, 90C30 (Primary) 14P10, 68W30, 14Q30 (Secondary)
Access URL: http://arxiv.org/abs/2502.08210
