Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose ...

Nobuhiro Asai, Izumi Kubo, Hui-Hsiung Kuo, MULTIPLICATIVE RENORMALIZATION AND GENERATING FUNCTIONS I, Taiwanese Journal of Mathematics, Vol. 7, No. 1 (March 2003), pp. 89-101 ...

The former CMO of Progress Software tells the story of how she transformed marketing to become more accountable, generating $17 million in new revenue for the company. Melissa Puls offers B2B ...