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

Vol. 1 No. 1 (2008)

Section

Articles

License

Copyright (c) 2008 Andrea Asperti, Cristian Armentano

Copyrights and publishing rights of all the texts on this journal belong to the respective authors without restrictions.

Creative Commons License

This journal is licensed under a Creative Commons Attribution 3.0 Unported License (full legal code).
See also our Open Access policy