Displaying similar documents to “A simple proof of Suzumura's extension theorem for finite domains with applications.”

Inner Products, Group, Ring of Quaternion Numbers

Fuguo Ge (2008)

Formalized Mathematics

Similarity:

In this article, we define the division of the quaternion numbers, we also give the definition of inner products, group, ring of the quaternion numbers, and we prove some of their properties.MML identifier: QUATERN2, version: 7.8.10 4.100.1011

Some Operations on Quaternion Numbers

Bo Li, Xiquan Liang, Pan Wang, Yanping Zhuang (2009)

Formalized Mathematics

Similarity:

In this article, we give some equality and basic theorems about quaternion numbers, and some special operations.

Bertrand’s Ballot Theorem

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/. ...

On a characterization of the unit interval in terms of clones

Artur Barkhudaryan (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

This paper gives a partial solution to a problem of W. Taylor on characterization of the unit interval in the class of all topological spaces by means of the first order properties of their clones. A characterization within the class of compact spaces is obtained.