Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior, Discrete Analysis 2017:4, 34 pp. Let $T$ be a triangle with vertices $(0,0)$, $(0,1/3)$, and $(1,0)$, and let $t$ be a positive integer. Then it is not hard to check that there are three quadratics $q_1,q_2$ and...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Diamond Open Access Journals
|
| Series: | Discrete Analysis |
| Online Access: | http://discrete-analysis.scholasticahq.com/article/1254-parametric-presburger-arithmetic-logic-combinatorics-and-quasi-polynomial-behavior.pdf |