Computing one of Victor Moll's irresistible integrals with computer algebra

摘要

We investigate a certain quartic integral from V. Moll's book "Irresistible Integrals" and demonstrate how it can be solved by computer algebra methods, namely by using non-commutative Grobner bases. We present recent implementations in the computer algebra systems Singular and Mathematica.