Session II.6 - Computational Algebraic Geometry
Saturday, June 17, 15:30 ~ 16:00
The spark randomizer: a probabilistic algorithm for computing Gröbner bases
Sonja Petrović
Illinois Institute of Technology, USA - This email address is being protected from spambots. You need JavaScript enabled to view it.
We place the problem of computing a Gr\"obner basis of a polynomial ideal within the violator space framework in order to use Clarkson's fast sampling algorithm from geometric optimization. The framework requires three ingredients, some of which we provide theoretically, and the missing ones we provide as outputs of a machine learning algorithm. We demonstrate how this blended randomization-and-learning approach can work for symbolic computation.
Joint work with Shahrzad Jamshidi (Lake Forest College, United States) and Despina Stasi (Illinois Institute of Technology, United States).