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 ...

Polynomial interpolation to analytic functions can be very accurate, depending on the distribution of the interpolation nodes. However, in equispaced nodes and the like, besides being badly ...

Thus {f, g} represents the unordered pair of functions f and g. So will plot both f and g on the same graph. We don't care wich order it does them in so we can give f and g as an unordered pair.

Graph polynomials serve as robust algebraic encodings of the intricate combinatorial properties inherent to graphs. At the heart of this discipline lies the Tutte polynomial, an invariant that not ...

Three hours of lecture/discussion per week. Algebraic operations on polynomials and rational functions as expressions, in equations, or inequalities. Graphing of linear and polynomial equations. An ...