Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression-Reference-Cited by-同舟云学术

Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression

Published:2023-09-01 Issue:1 Volume:31 Page:277-286
ISSN:1898-9934
Container-title:Formalized Mathematics
language:en
Short-container-title:

Author:

Grabowski Adam

Abstract

Summary In this paper another twelve problems from W. Sierpiński’s book “250 Problems in Elementary Number Theory” are formalized, using the Mizar formalism, namely: 42, 43, 51, 51a, 57, 59, 72, 135, 136, and 153–155. Significant amount of the work is devoted to arithmetic progressions.

Publisher

Walter de Gruyter GmbH

Link

https://www.sciendo.com/pdf/10.2478/forma-2023-0022

Reference14 articles.

1. Leonard Eugene Dickson. History of Theory of Numbers. New York, 1952.

2. Adam Grabowski. Elementary number theory problems. Part VI. Formalized Mathematics, 30(3):235–244, 2022. doi:10.2478/forma-2022-0019.

3. Adam Grabowski. Polygonal numbers. Formalized Mathematics, 21(2):103–113, 2013. doi:10.2478/forma-2013-0012.

4. Adam Grabowski and Christoph Schwarzweller. Translating mathematical vernacular into knowledge repositories. In Michael Kohlhase, editor, Mathematical Knowledge Management, volume 3863 of Lecture Notes in Computer Science, pages 49–64. Springer, 2006. doi:10.1007/11618027 4. 4th International Conference on Mathematical Knowledge Management, Bremen, Germany, MKM 2005, July 15–17, 2005, Revised Selected Papers.

5. Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Mizar in a nutshell. Journal of Formalized Reasoning, 3(2):153–245, 2010.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Elementary Number Theory Problems. Part XIII;Formalized Mathematics;2024-08-01