Displaying similar documents to “Effective reduction of linear ordinary difference equations to equations with constant coefficients”

Difference of Function on Vector Space over F

Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki (2014)

Formalized Mathematics

Similarity:

In [11], the definitions of forward difference, backward difference, and central difference as difference operations for functions on R were formalized. However, the definitions of forward difference, backward difference, and central difference for functions on vector spaces over F have not been formalized. In cryptology, these definitions are very important in evaluating the security of cryptographic systems [3], [10]. Differential cryptanalysis [4] that undertakes a general purpose...

Difference and Difference Quotient

Bo Li, Yan Zhang, Xiquan Liang (2006)

Formalized Mathematics

Similarity:

In this article, we give the definitions of forward difference, backward difference, central difference and difference quotient, and some of their important properties.