[seqfan] Re: Sequence relating the mass of the planets to the mass of their most massive satellites

Richard J. Mathar mathar at mpia-hd.mpg.de
Wed Feb 7 11:21:00 CET 2018

In answer to http://list.seqfan.eu/pipermail/seqfan/2018-February/018297.html :
We all remember the faith of Pluto, having been down-sized from a planet of
the solar system to a minor planet (see www.minorplanetcenter.net).
Given that no such thing as an ultimatively correct definition exists
of what defines a planet (asteroid etc), I do not favor entering such data to
the OEIS. I still look at the OEIS as a mathematical data base.


More information about the SeqFan mailing list