Displaying similar documents to “Elementary proof of Yu. V. Nesterenko expansion of the number zeta(3) in continued fraction.”

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.