A Page in Number Theory

Authors

  • Andrea Asperti University of Bologna
  • Cristian Armentano University of Bologna

DOI:

https://doi.org/10.6092/issn.1972-5787/385

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.

Downloads

Published

2008-09-26

How to Cite

Asperti, A., & Armentano, C. (2008). A Page in Number Theory. Journal of Formalized Reasoning, 1(1), 1–23. https://doi.org/10.6092/issn.1972-5787/385

Issue

Section

Articles