Gröbner Bases for Polynomial Ideals and Applications
摘要
We illustrate OSCAR ’s capabilities for computing with polynomial ideals using Gröbner bases. We give a detailed overview of the available Gröbner basis algorithms and provide some practical advice on how to use them. Based on this, we illustrate how to compute real solutions to polynomial systems in OSCAR. We then demonstrate with a range of examples from different areas of mathematics where Gröbner bases come into play when trying to answer computational questions.