We discuss the formalization, in the Matita Interactive Theorem Prover, of a few elementary results in number theory about the Moebius mu function and the Euler phi function.
A page in number theory / A.Asperti; C.Armentano. - In: JOURNAL OF FORMALIZED REASONING. - ISSN 1972-5787. - ELETTRONICO. - 1, No.1:(2008), pp. 1-23.
A page in number theory
ASPERTI, ANDREA;
2008
Abstract
We discuss the formalization, in the Matita Interactive Theorem Prover, of a few elementary results in number theory about the Moebius mu function and the Euler phi function.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.