Title: Summation formulas for the greatest integer part function
Subjects: Functions