ペルクービックを用いた、新規かつ効率的な素数判定テスト

本稿では、ペルクービックに基づく新規の素数判定アルゴリズムを導入し、そのアルゴリズムが2^32未満の整数に対して決定論的に機能することを示す。