Formelle er kombinasjoner av nummer og navn som ordnes av Minor Planet Center, en gren av IAU. De brukes for dvergplaneter og smålegemer i solsystemet som asteroider, men ikke kometer. De tildeles et legeme så fort dets bane er fastsatt, og er urelatert til overgangsnavnene som automatisk tildeles når et objekt oppdages.