Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451)
From MaRDI portal
scientific article; zbMATH DE number 6472560
- PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials |
scientific article; zbMATH DE number 6472560 |
|
Statements
Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (English)
0 references
PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS (English)
0 references
7 August 2013
0 references
14 August 2015
0 references
Ehrhart polynomials
0 references
generating functions
0 references
Presburger arithmetic
0 references
quasi-polynomials
0 references
computational complexity
0 references
