Some Remarkable Identities Involving Numbers

Rafal Ziobro. Some Remarkable Identities Involving Numbers. Formalized Mathematics, 22(3):205-208, 2014. [doi]

Abstract

Abstract is missing.