Displaying similar documents to “A new rational and continuous solution for Hilbert's 17th problem.”

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

Introduction

Pascale Roesch (2012)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

Rational semimodules over the max-plus semiring and geometric approach to discrete event systems

Stéphane Gaubert, Ricardo Katz (2004)

Kybernetika

Similarity:

We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule 𝒮 n over a semiring 𝒮 is rational if it has a generating family that is a rational subset of 𝒮 n , 𝒮 n being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational...