Software for exact integration of polynomials over polyhedra

DOI10.1016/j.comgeo.2012.09.001zbMath1259.65054arXiv1108.0117OpenAlexW2571112599MaRDI QIDQ1931269

Matthias Köppe, Stanislav Moreinis, Jianqiu Wu, Gregory Pinto, Brandon Dutra, Jesús A. De Loera

Publication date: 25 January 2013

Published in: Computational Geometry, ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1108.0117

zbMATH Keywords

algorithmnumerical examplesvaluationsexact integrationpolyhedral computationvolume computationcombinatorial voting theoryintegration of polynomials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Multidimensional problems (41A63) Approximate quadratures (41A55) Numerical quadrature and cubature formulas (65D32) Complexity and performance of numerical algorithms (65Y20)

Related Items

Exploring the No-Show Paradox for Condorcet Extensions, IAC Probability Calculations in Voting Theory: Progress Report, Representation-compatible power indices, The probability of majority inversion in a two-stage voting system with three states, Polyhedral star-shaped distributions, Computing convex hulls and counting integer points with \texttt{polymake}, Multi-collinear splitting kernels for track function evolution, Volume‐based ranking method for a ranked voting system, On counterexamples to a conjecture of Wills and Ehrhart polynomials whose roots have equal real parts, Low-complexity control of hybrid systems using approximate multi-parametric MILP, Numerical integration of homogeneous functions on convex and nonconvex polygons and polyhedra, Exploiting polyhedral symmetries in social choice, The computation of generalized Ehrhart series in normaliz, An efficient method to integrate polynomials over polytopes and curved solids, Computations of volumes and Ehrhart series in four candidates elections, Orbit Closures of Linear Algebraic Groups, Probabilities of electoral outcomes: from three-candidate to four-candidate elections, Advanced SMT techniques for weighted model integration

Uses Software

• polymake
• LattE
• TRIP