How are newly discovered objects (stars, planets, galaxies...) named?
When a new astronomical object (star, planet, galaxy, comet, etc.) is discovered, what is the official procedure to name it? Who decides about the name of it? Can they be changed in time?Extra question: How were the areas on the surface of the Moon and planet Mars named?