Elementary number theory problems. X: Diophantine equations

DOI10.2478/FORMA-2023-0016zbMATH Open1540.68288MaRDI QIDQ6557118

Artur Korniłowicz

Publication date: 18 June 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

zbMATH Keywords

number theoryDiophantine equations

Mathematics Subject Classification ID

Diophantine equations in many variables (11D72) Primes (11A41) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Prime factorization of sums and differences of two like powers
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Flexary connectives in Mizar
• Dataset description: formalization of elementary number theory in Mizar
• Mizar: State-of-the-art and Beyond
• Elementary number theory problems. VIII
• Extending numeric automation for number theory formalizations in Mizar

Related Items (1)

Elementary number theory problems. XIII

This page was built for publication: Elementary number theory problems. X: Diophantine equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6557118)