Trigonometric diophantine equations (On vanishing sums of roots of unity)
John Conway, A. Jones (1976)
Acta Arithmetica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
John Conway, A. Jones (1976)
Acta Arithmetica
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].
Yahya, Q.A.M.M. (1968)
Portugaliae mathematica
Similarity:
Petulante, Nelson, Kaja, Ifeoma (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity:
L. Carlitz (1972)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Yahya, Q.A.M.M. (1976)
Portugaliae mathematica
Similarity:
Florian Luca, P. G. Walsh (2004)
Colloquium Mathematicae
Similarity:
We show that there exist infinitely many positive integers r not of the form (p-1)/2 - ϕ(p-1), thus providing an affirmative answer to a question of Neville Robbins.
Yonghui Wang, Claus Bauer (2004)
Acta Arithmetica
Similarity:
T. W. Müller, J.-C. Schlage-Puchta (2004)
Acta Arithmetica
Similarity:
A. Oppenheim (1964)
Acta Arithmetica
Similarity:
J. Cohn (1977)
Acta Arithmetica
Similarity:
Robert Juricevic (2009)
Acta Arithmetica
Similarity:
Chakrabarti, Ranabir, Santhanam, Thalanayar S. (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity: