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.

Page 1

Displaying 1 – 10 of 10

Showing per page

Natural operators lifting vector fields to bundles of Weil contact elements

Miroslav Kureš, Włodzimierz M. Mikulski (2004)

Czechoslovak Mathematical Journal

Let A be a Weil algebra. The bijection between all natural operators lifting vector fields from m -manifolds to the bundle functor K A of Weil contact elements and the subalgebra of fixed elements S A of the Weil algebra A is determined and the bijection between all natural affinors on K A and S A is deduced. Furthermore, the rigidity of the functor K A is proved. Requisite results about the structure of S A are obtained by a purely algebraic approach, namely the existence of nontrivial S A is discussed.

Niven’s Theorem

Artur Korniłowicz, Adam Naumowicz (2016)

Formalized Mathematics

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

Currently displaying 1 – 10 of 10

Page 1