Hyperconvex spaces and fixed points.
Agarwal, Ravi P., O'Regan, Donal (2002)
Georgian Mathematical Journal
Similarity:
Agarwal, Ravi P., O'Regan, Donal (2002)
Georgian Mathematical Journal
Similarity:
Yeom, Seung Wha, Min, Kyung Jin, Cho, Seong Hoon (1999)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Joiţa, Maria (2010)
Banach Journal of Mathematical Analysis [electronic only]
Similarity:
Burroni, Elisabeth, Penon, Jacques (2010)
Theory and Applications of Categories [electronic only]
Similarity:
Francisco Ruiz, José Torrea (1991)
Colloquium Mathematicae
Similarity:
Alejandro Illanes (1993)
Colloquium Mathematicae
Similarity:
Bulgakov, A.I., Vasilyev, V.V. (2002)
Georgian Mathematical Journal
Similarity:
Agarwal, Ravi P., O'Regan, Donal (2001)
Georgian Mathematical Journal
Similarity:
Graff, Grzegorz, Nowak-Przygodzki, Piotr (2003)
Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Universitatis Iagellonicae Acta Mathematica
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/. ...