Displaying similar documents to “On the Pexider difference”

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.

Comparison of explicit and implicit difference schemes for parabolic functional differential equations

Zdzisław Kamont, Karolina Kropielnicka (2012)

Annales Polonici Mathematici

Similarity:

Initial-boundary value problems of Dirichlet type for parabolic functional differential equations are considered. Explicit difference schemes of Euler type and implicit difference methods are investigated. The following theoretical aspects of the methods are presented. Sufficient conditions for the convergence of approximate solutions are given and comparisons of the methods are presented. It is proved that the assumptions on the regularity of the given functions are the same for both...