Showing 1–2 of 2 results for author: Stillman, M

Learning selection strategies in Buchberger's algorithm

Authors: Dylan Peifer, Michael Stillman, Daniel Halpern-Leistner

Abstract: Studying the set of exact solutions of a system of polynomial equations largely depends on a single iterative algorithm, known as Buchberger's algorithm. Optimized versions of this algorithm are crucial for many computer algebra systems (e.g., Mathematica, Maple, Sage). We introduce a new approach to Buchberger's algorithm that uses reinforcement learning agents to perform S-pair selection, a key… ▽ More Studying the set of exact solutions of a system of polynomial equations largely depends on a single iterative algorithm, known as Buchberger's algorithm. Optimized versions of this algorithm are crucial for many computer algebra systems (e.g., Mathematica, Maple, Sage). We introduce a new approach to Buchberger's algorithm that uses reinforcement learning agents to perform S-pair selection, a key step in the algorithm. We then study how the difficulty of the problem depends on the choices of domain and distribution of polynomials, about which little is known. Finally, we train a policy model using proximal policy optimization (PPO) to learn S-pair selection strategies for random systems of binomial equations. In certain domains, the trained model outperforms state-of-the-art selection heuristics in total number of polynomial additions performed, which provides a proof-of-concept that recent developments in machine learning have the potential to improve performance of algorithms in symbolic computation. △ Less

Submitted 17 August, 2020; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 14 pages, minor typo and format fixes, to appear in Proceedings of the 37th International Conference on Machine Learning (ICML 2020)

Practical Groebner Basis Computation

Authors: Bjarke Hammersholt Roune, Michael Stillman

Abstract: We report on our experiences exploring state of the art Groebner basis computation. We investigate signature based algorithms in detail. We also introduce new practical data structures and computational techniques for use in both signature based Groebner basis algorithms and more traditional variations of the classic Buchberger algorithm. Our conclusions are based on experiments using our new free… ▽ More We report on our experiences exploring state of the art Groebner basis computation. We investigate signature based algorithms in detail. We also introduce new practical data structures and computational techniques for use in both signature based Groebner basis algorithms and more traditional variations of the classic Buchberger algorithm. Our conclusions are based on experiments using our new freely available open source standalone C++ library. △ Less

Submitted 29 June, 2012; originally announced June 2012.

Comments: Full online version including appendices, 17 pages; Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2012