[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