Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

On the Properties of the Möbius Function

100%

Jastrzebska M., Grabowski A.

Formalized Mathematics

2006

tom 14

nr 1

29-36

We formalized some basic properties of the Möbius function which is defined classically as [...] as e.g., its multiplicativity. To enable smooth reasoning about the sum of this number-theoretic function, we introduced an underlying many-sorted set indexed by the set of natural numbers. Its elements are just values of the Möbius function.The second part of the paper is devoted to the notion of the radical of number, i.e. the product of its all prime factors.The formalization (which is very much like the one developed in Isabelle proof assistant connected with Avigad's formal proof of Prime Number Theorem) was done according to the book [13].

Ograniczanie wyników

1 Formalized Mathematics

1 Grabowski A.

1 Jastrzebska M.

1 2006

Wyniki wyszukiwania

On the Properties of the Möbius Function