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.

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.

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.

Displaying similar documents to “Rational Puiseux expansions”

Niven’s Theorem

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].

A new rational and continuous solution for Hilbert's 17th problem.

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...