Frequently-Used Properties of the Floor Function
Xingbo Wang · International Journal of Applied Physics and Mathematics · 2020
The paper collects 42 frequently-used properties of the floor function, including 35 ones from other literatures and 7 newly added-and-proved ones. The collected properties cover basic inequalities, basic identities, conditional inequalities, conditional equalities and practical formulas. The paper is helpful for scholars of mathematics and computer science and technology in reading and writing scientific works, reasoning and designing algorithms.