આપણી સોલાર સિસ્ટમમાં વરુણ એ પહેલો એવો ગ્રહ હતો કે જેનું અસ્તિત્વ ગણિતના અધ્યયન પર કરવામાં આવ્યું હતું, નહીં કે ભવિષ્યવાણીના આધાર પર.