文章基本信息
- 标题：A Page in Number Theory
- 本地全文：下载
- 作者：Andrea Asperti ; Cristian Armentano
- 期刊名称：Journal of Formalized Reasoning
- 印刷版ISSN：1972-5787
- 出版年度：2008
- 卷号：1
- 期号：1
- 页码：1-23
- DOI：10.6092/issn.1972-5787/385
- 语种：English
- 出版社：Alma Mater Studiorum - University of Bologna
- 摘要：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.
