Semantics of MML Query
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
Displaying similar documents to “Mizar Analysis of Algorithms: Algorithms over Integers”
Semantics of MML Query
On finite 3-generated 2-groups of Alperin.
Veretennikov, B.M. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Even partition functions.
Ben Saïd, F., Nicolas, J.-L. (2002)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
A note on codes and kets.
Caragiu, Mihai (2005)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
On the finite basis property for semigroup varieties.
Popov, V.Yu. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Tesselations of multidimensional parallelepipeds.
Nikonorov, Yu.G. (2000)
Siberian Mathematical Journal
Similarity:
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/. ...
Unbounded stability of two-term recurrence sequences modulo
Walter Carlip, Eliot Jacobson (1996)
Acta Arithmetica
Similarity:
On the Specht property of varieties of commutative alternative algebras over a field of characteristic 3 and commutative Moufang loops.
Badeev, A.V. (2000)
Siberian Mathematical Journal
Similarity:
On Shioda's problem about Jacobi sums II
Hiroo Miki (1995)
Acta Arithmetica
Similarity:
A note on basic Iwasawa λ-invariants of imaginary quadratic fields and congruence of modular forms
Dongho Byeon (1999)
Acta Arithmetica
Similarity:
Jacobi symbols, ambiguous ideals, and continued fractions
R. A. Mollin (1998)
Acta Arithmetica
Similarity:
The purpose of this paper is to generalize some seminal results in the literature concerning the interrelationships between Legendre symbols and continued fractions. We introduce the power of ideal theory into the arena. This allows significant improvements over the existing results via the infrastructure of real quadratic fields.