ゴクレニウス (クレーター)
ゴクレニウスのごく近くにある小さな無名のクレーターについては、アルファベットを付加することによって識別される。
以下のクレーターは、国際天文学連合によって再命名された。
ゴクレニウス-A — イブン・バトゥータ