Equations with equivalent roots
J. Cohn (1977)
Acta Arithmetica
Similarity:
J. Cohn (1977)
Acta Arithmetica
Similarity:
Yahya, Q.A.M.M. (1976)
Portugaliae mathematica
Similarity:
Yahya, Q.A.M.M. (1973)
Portugaliae mathematica
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].
Lin, Ying-Jie (2009)
Integers
Similarity:
Milan Geryk (1972)
Aplikace matematiky
Similarity:
James Joseph Sylvester
Similarity:
Kostov, Vladimir (2003)
Serdica Mathematical Journal
Similarity:
2000 Mathematics Subject Classification: 12D10. We prove that all arrangements (consistent with the Rolle theorem and some other natural restrictions) of the real roots of a real polynomial and of its s-th derivative are realized by real polynomials.
John Conway, A. Jones (1976)
Acta Arithmetica
Similarity: