Timeline for Formalization (and background) of a formula, concering the integral points of a polygon.
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 15, 2013 at 22:35 | comment | added | Gjergji Zaimi | Yes, that's the theorem I was referring to. | |
| May 12, 2013 at 20:47 | comment | added | Igor Makhlin | Just to make sure I follow. Am I correct in understanding that the nontrivial fact of $\varphi$ being a valuation is precisely theorem 1.3 here: home.imf.au.dk/niels/ACO/barvinok.ps? | |
| May 11, 2013 at 23:49 | vote | accept | Igor Makhlin | ||
| May 3, 2013 at 6:06 | history | answered | Gjergji Zaimi | CC BY-SA 3.0 |