A page in number theory

A.Asperti; C.Armentano

A page in number theory

By A.Asperti and C.Armentano

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

Topics: INTERACTIVE THEOREM PROVING, FORMALIZATION OF MATHEMATICS, MOEBIUS FUNCTION, PHI FUNCTION, MATITA

Year: 2008

OAI identifier: oai:cris.unibo.it:11585/67153

Provided by: Archivio istituzionale della ricerca - Alma Mater Studiorum Università di Bologna

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://hdl.handle.net/11585/67... (external link)

A page in number theory

Abstract

Suggested articles