Elementary Number Theory Problems. Part VI

IF 1 Q1 MATHEMATICS

Formalized Mathematics Pub Date : 2022-10-01 DOI:10.2478/forma-2022-0019

Adam Grabowski

引用次数: 2

Abstract

Summary This paper reports on the formalization in Mizar system [1], [2] of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [7] (see [6] for details of this concrete dataset). This article is devoted mainly to arithmetic progressions: problems 52, 54, 55, 56, 60, 64, 70, 71, and 73 belong to the chapter “Arithmetic Progressions”, and problem 50 is from “Relatively Prime Numbers”.

查看原文本刊更多论文

初等数论问题。第六部分

本文报道了W. Sierpinski的著作《初等数论的250个问题》[7]中的10个精选问题在Mizar系统[1]，[2]中的形式化(具体数据集参见[6])。本文主要研究等差数列，问题52、54、55、56、60、64、70、71、73属于“等差数列”一章，问题50来自“相对素数”一章。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Formalized Mathematics MATHEMATICS-

自引率

0.00%

发文量

审稿时长

10 weeks

期刊介绍： Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics.