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.Asperti, C.Armentano (2008). A page in number theory. JOURNAL OF FORMALIZED REASONING, 1, No.1, 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.
