Prime Representing Polynomial with 10 Unknowns

Karol Pak. Prime Representing Polynomial with 10 Unknowns. Formalized Mathematics, 30(4):255-279, December 2022. [doi]

Abstract

Abstract is missing.