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

Recent investigations probe the arithmetic properties of these functions, exploring congruence relations and modular behaviour that reveal surprising regularities.

Inspired by Rearick's work on logarithm and exponential functions of arithmetic functions, we introduce two new operators, LOG and EXP. The LOG operates on generalized Fibonacci polynomials giving ...

For novices, functions are one of the most intimidating features of OpenOffice.org's Calc. Newcomers quickly learn that functions are a main feature of spreadsheets, but there are almost four hundred, ...

Humans have been making symbols for numbers for thousands of years. Different cultures developed their own symbols, but all use addition and multiplication, suggesting arithmetic is a universal truth.

Here's why math fact fluency matters, and what we know from research about teaching strategies and timed exercises.

Mathematicians used “magic functions” to prove that two highly symmetric lattices solve a myriad of problems in eight- and 24-dimensional space.