A simple proof of Suzumura's extension theorem for finite domains with applications.
Lahiri, Somdeb (2002)
Journal of Applied Mathematics and Decision Sciences
Similarity:
Lahiri, Somdeb (2002)
Journal of Applied Mathematics and Decision Sciences
Similarity:
Freyd, Peter (2008)
Theory and Applications of Categories [electronic only]
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/. ...
Đorđe Kadijević (2005)
The Teaching of Mathematics
Similarity:
Elias Bittar (1999)
Banach Center Publications
Similarity:
We define an equivalent variant of the Gentzen sequent calculus . In weakenings or contractions can be performed in parallel. This modification allows us to interpret a symmetrical system of mix elimination rules by a finite rewriting system; the termination of this rewriting system can be machine checked. We give also a self-contained strong normalization proof by structural induction. We give another strong normalization proof by a strictly monotone subrecursive interpretation;...
Larose, Benoit (2005)
Beiträge zur Algebra und Geometrie
Similarity:
Stanisław Bylka (1996)
Applicationes Mathematicae
Similarity:
This article considers optimization problems in a capacitated lot sizing model with limited backlogging. Nothing is assumed about the cost function in the case of finite restrictions of the size on the stock and backlogs. The holding and backlogging costs are functions assumed to be stationary or nearly stationary in time. In both cases, it is shown that there exists an optimal infinite inverse policy and a periodical turnpike policy. Some forward and backward procedures are adopted...
Tatjana Stojanović, Ana Kaplarević-Mališić, Zoran Ognjanović (2010)
Kragujevac Journal of Mathematics
Similarity:
A. Kfoury (1999)
Banach Center Publications
Similarity:
We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.
Wolfgang Stummer, Wei Lao (2012)
Kybernetika
Similarity:
We study Bayesian decision making based on observations () of the discrete-time price dynamics of a financial asset, when the hypothesis a special -period binomial model and the alternative is a different -period binomial model. As the observation gaps tend to zero (i. e. ), we obtain the limits of the corresponding Bayes risk as well as of the related Hellinger integrals and power divergences. Furthermore, we also give an example for the “non-commutativity” between Bayesian statistical...