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
2017-01-01
|
| Series: | Discrete Analysis |
| Online Access: | https://doi.org/10.19086/da.1254 |