The search session has expired. Please query the service again.
In this note, we construct some integer matrices with determinant equal to certain summation form of Liouville's function. Hence, it offers a possible alternative way to explore the Prime Number Theorem by means of inequalities related to matrices, provided a better estimate on the relation between the determinant of a matrix and other information such as its eigenvalues is known. Besides, we also provide some comparisons on the estimate of the lower bound of the smallest singular value. Such discussion...
We study the properties of the function which determines the number of representations of an integer as a sum of distinct Fibonacci numbers . We determine the maximum and mean values of for .
We study the properties of the function R(n) which determines the number of representations
of an integer n as a sum of distinct Fibonacci numbers Fk. We determine the maximum and
mean values of R(n) for Fk ≤ n < Fk+1.
In this article we formalize some results of Diophantine approximation, i.e. the approximation of an irrational number by rationals. A typical example is finding an integer solution (x, y) of the inequality |xθ − y| ≤ 1/x, where 0 is a real number. First, we formalize some lemmas about continued fractions. Then we prove that the inequality has infinitely many solutions by continued fractions. Finally, we formalize Dirichlet’s proof (1842) of existence of the solution [12], [1].
Let be a prime. We assign to each positive number a digraph whose set of vertices is and there exists a directed edge from a vertex to a vertex if . In this paper we obtain a necessary and sufficient condition for .
We examine the congruences and iterate the digit sums of integer sequences. We generate recursive number sequences from triple and quintuple product identities. And we use second order recursions to determine the primality of special number systems.
Currently displaying 21 –
38 of
38