Displaying similar documents to “On the relationship between difference and projection-difference methods”

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.

Generalized method of lines for first order partial functional differential equations

W. Czernous (2006)

Annales Polonici Mathematici

Similarity:

Classical solutions of initial boundary value problems are approximated by solutions of associated differential difference problems. A method of lines for an unknown function for the original problem and for its partial derivatives with respect to spatial variables is constructed. A complete convergence analysis for the method is given. A stability result is proved by using differential inequalities with nonlinear estimates of the Perron type for the given operators. ...

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...