A curious property of series involving terms of generalized sequences.
Brugia, Odoardo, Filipponi, Piero (2000)
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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Brugia, Odoardo, Filipponi, Piero (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Karol Pąk (2014)
Formalized Mathematics
Similarity:
In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k. Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to (n − k)/(n + k). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. ...
S. A. Burr, P. Erdős, R. L. Graham, W. Wen-Ching Li (1996)
Acta Arithmetica
Similarity:
Katsumi Wasaki (2008)
Formalized Mathematics
Similarity:
To evaluate our formal verification method on a real-size calculation circuit, in this article, we continue to formalize the concept of the 4-2 Binary Addition Cell primitives (FTAs) to define the structures of calculation units for a very fast multiplication algorithm for VLSI implementation [11]. We define the circuit structure of four-types FTAs, TYPE-0 to TYPE-3, using the series constructions of the Generalized Full Adder Circuits (GFAs) that generalized adder to have for each positive...
Anatoly Zhigljavsky, Iskander Aliev (1999)
Acta Arithmetica
Similarity:
Pyrkin, S.G. (2000)
Sibirskij Matematicheskij Zhurnal
Similarity:
Zeév Rudnick, Alexandru Zaharescu (1999)
Acta Arithmetica
Similarity:
Christoph Baxa (1997)
Acta Arithmetica
Similarity:
Peter Hellekalek, Hannes Leeb (1997)
Acta Arithmetica
Similarity:
Gajlit, E.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity: