Pappus of Alexandria
アレクサンドリアのパップスにちなんで命名されている。