Chabauty-Kim method

GPTKB entity