Squares in Lucas sequenceshaving an even first parameter
Paulo Ribenboim, Wayne McDaniel (1998)
Colloquium Mathematicae
Similarity:
Paulo Ribenboim, Wayne McDaniel (1998)
Colloquium Mathematicae
Similarity:
Bhattacharjee, D. (1998)
Georgian Mathematical Journal
Similarity:
Moghaddamfar, A.R., Shi, W.J. (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Bege, Antal, Fogarasi, Kinga (2009)
Acta Universitatis Sapientiae. Mathematica
Similarity:
Adam Naumowicz, Radosław Piliszek (2013)
Formalized Mathematics
Similarity:
This paper is a continuation of [19], where the divisibility criteria for initial prime numbers based on their representation in the decimal system were formalized. In the current paper we consider all primes up to 101 to demonstrate the method presented in [7].
Savin, Diana (2002)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
Claudia A. Spiro-Silverman (1992)
Acta Arithmetica
Similarity:
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2011)
Formalized Mathematics
Similarity:
In this article, we formalize a set of points on an elliptic curve over GF(p). Elliptic curve cryptography [10], whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security.
Chandan Singh Dalawat (2009)
Journal de Théorie des Nombres de Bordeaux
Similarity:
We show how K. Hensel could have extended Wilson’s theorem from to the ring of integers in a number field, to find the product of all invertible elements of a finite quotient of .
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finite direct products of finite commutative groups