ACM Communications in Computer Algebra, Vol. 45, No. 3, Issue 177, September 2011 Software for Exact Integration of Polynomials over Polyhedra J. A. De Loera, B. Dutra, M. K¨ppe, S. Moreinis, G. Pinto, J. Wu o Department of Mathematics, University of California Davis, CA, 95616, USA latte@math.ucdavis.edu Abstract We are interested in quickly computing the exact value of integrals of polynomial functions over domains that are decomposable into convex polyhedra (e.g., a tetrahedral or cubical mesh decomposition of space). We describe a software implementation, part of the software LattE, and provide benchmark computations. Introduction The computer algebra community has dedicated a great deal of e ort to developing fast symbolic integration, understood to be the automatic computation of the antiderivatives of functions, as predicted by the fundamental theorem of Calculus. In this work we are instead interested in the exact fast evaluation of integrals over polyhedral regions. More precisely, let P be a d-dimensional rational convex polyhedron inside Rn and let f Q[x1 , . . . , xn ] be a polynomial with rational coe cients. We consider the problem of e ciently computing the exact value of the integral of the polynomial f over P
/lp/association-for-computing-machinery/software-for-exact-integration-of-polynomials-over-polyhedra-LeXNIuCjjP