Displaying similar documents to “On the existence of a solution of a system ẋ= f(t, x) which remains in a given set”

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.