Elementary sequences.
Beslin, Scott J. (1992)
International Journal of Mathematics and Mathematical Sciences
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “ On the Representation of Natural Numbers in Positional Numeral Systems 1 ”
Elementary sequences.
Lawless sequences of natural numbers
G. Kreisel (1968)
Compositio Mathematica
Similarity:
Sloping binary numbers: a new sequence related to the binary numbers.
Applegate, David, Cloitre, Benoit, Deléham, Philippe, Sloane, N.J.A. (2005)
Journal of Integer Sequences [electronic only]
Similarity:
Generalized Beatty sequences.
Mercer, A.McD. (1978)
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...
Arrow's Impossibility Theorem
Freek Wiedijk (2007)
Formalized Mathematics
Similarity:
A formalization of the first proof from [6].
Aliquot sequence 3630 ends after reach 100 digits.
Benito, Manuel, Creyaufmüller, Wolfgang, Varona, Juan L., Zimmermann, Paul (2002)
Experimental Mathematics
Similarity:
Kleinberg sequences and partition cardinals below δ₅¹
Benedikt Löwe (2002)
Fundamenta Mathematicae
Similarity:
The author computes the Kleinberg sequences derived from the three different normal ultrafilters on δ₃¹.
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.
Generating functions for the digital sum and other digit counting sequences.
Adams-Watters, Franklin T., Ruskey, Frank (2009)
Journal of Integer Sequences [electronic only]
Similarity:
On the principle square : coding and extending embeddings
L. J. Stanley (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
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.