高斯素数情形下伯特兰公设的推广
Generalization of Bertrand's Postulate for Gaussian Primes
AI总结：
本文将伯特兰公设的推广形式化到高斯素数上，从而揭示复平面上素数的分布规律。
摘要：
伯特兰公设描述了实数中素数的分布。Das 等人 [Arxiv 2018] 证明了伯特兰公设的推广。在本文中，我们将这一思想形式化到高斯素数（即复平面上的素数）上。该结果给出了复平面上素数分布的信息。
英文摘要：
Bertrand's Postulate states about the prime distribution for the real numbers. The generalization of Bertrand's Postulate was proved by Das et al. [Arxiv 2018]. In this paper, we have formalized this idea for the Gaussian primes (or the primes on the complex plane). This result gives information about the prime distribution on the complex plane.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
