Results 11 to 20 of about 2,871,972 (282)

A hierarchy of ramified theories below primitive recursive arithmetic [PDF]

, 2010
The arithmetical theory EA(I;O) developed by Çagman, Ostrin and Wainer ([18] and [48]) provides a formal setting for the variable separation of Bellantoni-Cook predicative recursion [6].
Spoors, Elliott John
core   +6 more sources

Fast Reliable Ray-tracing of Procedurally Defined Implicit Surfaces Using Revised Affine Arithmetic [PDF]

, 2009
Fast and reliable rendering of implicit surfaces is an important area in the field of implicit modelling. Direct rendering, namely ray-tracing, is shown to be a suitable technique for obtaining good-quality visualisations of implicit surfaces. We present
Fryazinov, Oleg, Pasko, Alexander, Comninos, Peter   +2 more
core   +9 more sources

Learning, realizability and games in classical arithmetic [PDF]

, 2011
PhDAbstract. In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic.
Aschieri, Federico
core   +4 more sources

On two inequalities for the composition of arithmetic functions [PDF]

, 2012
A paper about two inequalities for the composition of arithmetic ...
József Sándor, Sandor, Jozsef
core   +1 more source

GEOMETRIC THEOREMS, DIOPHANTINE EQUATIONS, AND ARITHMETIC FUNCTIONS [PDF]

, 2002
This book contains short notes or articles, as well as studies on several topics of Geometry and Number theory. The material is divided into ve chapters: Geometric theorems; Diophantine equations; Arithmetic functions; Divisibility properties of numbers ...
Sándor, József
core   +1 more source

Inequalities between some arithmetic functions, II [PDF]

Notes on Number Theory and Discrete Mathematics
As a continuation of Part I (see [1]), we offer new inequalities for classical arithmetic functions such as the Euler's totient function, the Dedekind's psi function, the sum of the positive divisors function, the number of divisors function, extended ...
Krassimir Atanassov, József Sándor, Mladen Vassilev-Missana   +2 more
doaj   +1 more source

On certain inequalities for φ, ψ, σ and related functions, III [PDF]

Notes on Number Theory and Discrete Mathematics
We obtain generalizations of certain results from [2] and [4]. The unitary variants are also considered. Some new arithmetic functions and their inequalities are also considered.
József Sándor, Karol Gryszka
doaj   +1 more source

Orbit quotients in the radical ring of multiplicative arithmetic functions [PDF]

Mathematica Bohemica
We extend the role of algebraic structures to the study of multiplicative arithmetic functions by associating the corresponding radical ring and a left-group action with the quasi-field (two-sided brace) of multiplicative arithmetic functions.
Emil Daniel Schwab
doaj   +1 more source

Objects generated by an arbitrary natural number. Part 3: Standard modal-topological aspect [PDF]

Notes on Number Theory and Discrete Mathematics, 2023
The set Set(n), generated by an arbitrary natural number n, was defined in [3]. There, and in [4], some arithmetic functions and arithmetic operators of a modal type are defined over the elements of Set(n).
Krassimir Atanassov
doaj   +1 more source

A Functional Equation in Arithmetic [PDF]

Transactions of the American Mathematical Society, 1936
which occurs in all theories of numerical functions hitherto considered. The two most highly developed theories of this kind are those in which multiplication in the ring of all numerical functions is abstractly identical with C (Cauchy) or D (Dirichlet) multiplication of infinite series.t Lehmer's five postulates are sufficient for the development of ...
openaire   +2 more sources