初等数论问题。第九部分

IF 1 Q1 MATHEMATICS

Formalized Mathematics Pub Date : 2023-09-01 DOI:10.2478/forma-2023-0015

Artur Korniłowicz

引用次数: 0

摘要

摘要本文继续对瓦茨瓦夫-西尔皮安斯基（Wacław Sierpiński）在《初等数论中的 250 个问题》一书中定义的选定问题进行形式化。

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

查看原文本刊更多论文

Elementary Number Theory Problems. Part IX

Summary This paper continues the formalization of chosen problems defined in the book “250 Problems in Elementary Number Theory” by Wacław Sierpiński.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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.