Results 311 to 320 of about 12,228,153 (333)

Decidable and undecidable arithmetic functions in actin filament networks

, 2018
A. Schumann
semanticscholar   +1 more source

Free Distributional Data of Arithmetic Functions and Corresponding Generating Functions Determined by Gaps Between Primes

Complex Analysis and Operator Theory, 2013
Ilwoo Cho, Cho Ilwoo
exaly  

Provably total functions of Basic Arithmetic

Mathematical Logic Quarterly, 2003
Saeed Salehi
exaly  

Arithmetical Functions and Minimalization

Mathematical Logic Quarterly, 1974
openaire   +1 more source

Fuzzy Arithmetic Type 1 with Horizontal Membership Functions

, 2017
A. Piegat, M. Landowski
semanticscholar   +1 more source

Free Distributional Data of Arithmetic Functions and Corresponding Generating Functions Determined by Gaps Between Primes

, 2014
Ilwoo Cho
semanticscholar   +1 more source

On construction of a library of formally verified low-level arithmetic functions

Innovations in Systems and Software Engineering, 2013
Reynald Affeldt
semanticscholar   +1 more source

Krein-Space Representations of Arithmetic Functions Determined by Primes

, 2014
Ilwoo Cho, P. Jorgensen
semanticscholar   +1 more source

Arithmetical Functions

1984
  +4 more sources

On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types

Lecture Notes in Computer Science, 2010
Paul Tarau, Tarau Paul
exaly