Difference and Difference Quotient. Part II
Bo Li, Yanping Zhuang, Xiquan Liang (2008)
Formalized Mathematics
Similarity:
In this article, we give some important properties of forward difference, backward difference, central difference and difference quotient and forward difference, backward difference, central difference and difference quotient formulas of some special functions [11].MML identifier: DIFF 2, version: 7.8.09 4.97.1001