Representations of real numbers by series of reciprocals of odd integers
A. Opponheim (1971)
Acta Arithmetica
Similarity:
A. Opponheim (1971)
Acta Arithmetica
Similarity:
Krystyna Ziętak (1974)
Applicationes Mathematicae
Similarity:
W. Coppel (1959)
Annales Polonici Mathematici
Similarity:
Artur Korniłowicz, Adam Naumowicz (2016)
Formalized Mathematics
Similarity:
This article formalizes the proof of Niven’s theorem [12] which states that if x/π and sin(x) are both rational, then the sine takes values 0, ±1/2, and ±1. The main part of the formalization follows the informal proof presented at Pr∞fWiki (https://proofwiki.org/wiki/Niven’s_Theorem#Source_of_Name). For this proof, we have also formalized the rational and integral root theorems setting constraints on solutions of polynomial equations with integer coefficients [8, 9].
Dirk Bollaerts (1988)
Acta Arithmetica
Similarity:
J. Achari (1979)
Publications de l'Institut Mathématique
Similarity:
W. Szafrański (1983)
Applicationes Mathematicae
Similarity:
Charles N. Delzell, Laureano González-Vega, Henri Lombardi (1992)
Extracta Mathematicae
Similarity:
In this note it is presented a new rational and continuous solution for Hilbert's 17th problem, which asks if an everywhere positive polynomial can be expressed as a sum of squares of rational functions. This solution (Theorem 1) improves the results in [2] in the sense that our parametrized solution is continuous and depends in a rational way on the coefficients of the problem (what is not the case in the solution presented in [2]). Moreover our method simplifies the proof and it is...
J. Achari (1978)
Matematički Vesnik
Similarity:
L. E. Dickson (1923)
Journal de Mathématiques Pures et Appliquées
Similarity:
Krystyna Ziętak (1974)
Applicationes Mathematicae
Similarity: