Displaying similar documents to “ On the Representation of Natural Numbers in Positional Numeral Systems 1 ”

Elementary sequences.

Beslin, Scott J. (1992)

International Journal of Mathematics and Mathematical Sciences

Similarity:

Mizar Analysis of Algorithms: Preliminaries

Grzegorz Bancerek (2007)

Formalized Mathematics

Similarity:

Algorithms and its parts - instructions - are formalized as elements of if-while algebras. An if-while algebra is a (1-sorted) universal algebra which has 4 operations: a constant - the empty instruction, a binary catenation of instructions, a ternary conditional instruction, and a binary while instruction. An execution function is defined on pairs (s, I), where s is a state (an element of certain set of states) and I is an instruction, and results in states. The execution function obeys...

Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers

Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama, Hiroyuki Okazaki (2007)

Formalized Mathematics

Similarity:

In this article, we extended properties of sequences of real numbers to sequences of extended real numbers. We also introduced basic properties of the inferior limit, superior limit and convergence of sequences of extended real numbers.

On the correlation of families of pseudorandom sequences of k symbols

Kit-Ho Mak, Alexandru Zaharescu (2016)

Acta Arithmetica

Similarity:

In an earlier paper Gyarmati introduced the notion of f-correlation for families of binary pseudorandom sequences as a measure of randomness in the family. In this paper we generalize the f-correlation to families of pseudorandom sequences of k symbols and study its properties.