Elementary Number Theory Problems. Part V

IF 1 Q1 MATHEMATICS

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

Artur Korniłowicz, Adam Naumowicz

引用次数: 2

Abstract

Summary This paper reports on the formalization of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [5] using the Mizar system [4], [1], [2]. Problems 12, 13, 31, 32, 33, 35 and 40 belong to the chapter devoted to the divisibility of numbers, problem 47 concerns relatively prime numbers, whereas problems 76 and 79 are taken from the chapter on prime and composite numbers.

查看原文本刊更多论文

初等数论问题。第五部分

本文利用Mizar系统[4]，[1]，[2]，报道了W. Sierpinski《初等数论250个问题》[5]中十个问题的形式化。问题12、13、31、32、33、35和40属于数的可整除性一章，问题47涉及相对素数，问题76和79来自素数和合数一章。

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

求助全文

约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.