Displaying similar documents to “Reduction of semialgebraic constructible functions”

Algebraic Numbers

Yasushige Watase (2016)

Formalized Mathematics

Similarity:

This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field ℚ induced by substitution of an algebraic number to...

Transcendence results on the generating functions of the characteristic functions of certain self-generating sets, II

Peter Bundschuh, Keijo Väänänen (2015)

Acta Arithmetica

Similarity:

This article continues a previous paper by the authors. Here and there, the two power series F(z) and G(z), first introduced by Dilcher and Stolarsky and related to the so-called Stern polynomials, are studied analytically and arithmetically. More precisely, it is shown that the function field ℂ(z)(F(z),F(z⁴),G(z),G(z⁴)) has transcendence degree 3 over ℂ(z). This main result contains the algebraic independence over ℂ(z) of G(z) and G(z⁴), as well as that of F(z) and F(z⁴). The first...

On ruled fields

Jack Ohm (1989)

Journal de théorie des nombres de Bordeaux

Similarity:

Some results and problems that arise in connection with the foundations of the theory of ruled and rational field extensions are discussed.

Note on algebraic interior systems

Ivan Chajda (2005)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.