DOI: 10.2478/forma-2023-0016 ISSN: 1898-9934
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz- Applied Mathematics
- Computational Mathematics
Summary
This paper continues the formalization of problems defined in the book “250 Problems in Elementary Number Theory” by Wacław Sierpiński.